Skip to content

Actions: cedar-policy/cedar-spec

Actions

Build and Test cedar-spec

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
910 workflow runs
910 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to the latest version of std4 Build and Test cedar-spec #463: Pull request #196 opened by khieta
January 8, 2024 18:39 14m 11s khieta/update-std4-version
khieta/update-std4-version
January 8, 2024 18:39 14m 11s
set_env_vars.sh: better behavior when lean not installed or not on PATH Build and Test cedar-spec #462: Pull request #195 opened by cdisselkoen
January 8, 2024 15:15 14m 13s cdisselkoen/set-env-vars
cdisselkoen/set-env-vars
January 8, 2024 15:15 14m 13s
add category for lean formalization to feature request template Build and Test cedar-spec #461: Pull request #193 opened by cdisselkoen
January 8, 2024 14:46 14m 34s cdisselkoen/fr-template
cdisselkoen/fr-template
January 8, 2024 14:46 14m 34s
Return timing info in Lean response Build and Test cedar-spec #460: Pull request #190 synchronize by khieta
January 7, 2024 16:45 14m 16s khieta/add-lean-timing
khieta/add-lean-timing
January 7, 2024 16:45 14m 16s
Add scripts to generate corpus Build and Test cedar-spec #459: Pull request #192 opened by khieta
January 7, 2024 16:44 14m 17s khieta/corpus-scripts
khieta/corpus-scripts
January 7, 2024 16:44 14m 17s
Return timing info in Lean response Build and Test cedar-spec #458: Pull request #190 opened by khieta
January 7, 2024 16:33 7m 38s khieta/add-lean-timing
khieta/add-lean-timing
January 7, 2024 16:33 7m 38s
Minor fixes and updates. Build and Test cedar-spec #457: Pull request #189 opened by emina
January 6, 2024 05:02 13m 57s emina/minor-updates
emina/minor-updates
January 6, 2024 05:02 13m 57s
Fix links in cedar-lean README Build and Test cedar-spec #456: Pull request #187 synchronize by khieta
January 3, 2024 16:24 13m 58s khieta/update-readme
khieta/update-readme
January 3, 2024 16:24 13m 58s
Fix links in cedar-lean README Build and Test cedar-spec #455: Pull request #187 opened by khieta
January 3, 2024 15:06 14m 25s khieta/update-readme
khieta/update-readme
January 3, 2024 15:06 14m 25s
Cleanup in integration tests Build and Test cedar-spec #454: Pull request #186 synchronize by khieta
December 28, 2023 15:34 14m 20s khieta/chore/cleanup-int-tests
khieta/chore/cleanup-int-tests
December 28, 2023 15:34 14m 20s
Cleanup in integration tests Build and Test cedar-spec #453: Pull request #186 opened by khieta
December 28, 2023 13:55 14m 37s khieta/chore/cleanup-int-tests
khieta/chore/cleanup-int-tests
December 28, 2023 13:55 14m 37s
call the modified fuzz_target! that logs Build and Test cedar-spec #452: Pull request #184 opened by aaronjeline
December 15, 2023 18:17 14m 30s fix/aaronjeline/log
fix/aaronjeline/log
December 15, 2023 18:17 14m 30s
Disable like in ABAC DRT targets Build and Test cedar-spec #451: Pull request #183 opened by khieta
December 15, 2023 17:20 14m 21s khieta/disable-like
khieta/disable-like
December 15, 2023 17:20 14m 21s
Fix decimal parsing bug Build and Test cedar-spec #450: Pull request #181 opened by khieta
December 15, 2023 16:48 14m 24s khieta/decimal-parsing
khieta/decimal-parsing
December 15, 2023 16:48 14m 24s
Lean parser fixes Build and Test cedar-spec #449: Pull request #180 opened by khieta
December 14, 2023 22:22 14m 8s khieta/lean-parser-fix
khieta/lean-parser-fix
December 14, 2023 22:22 14m 8s
Add templates to Lean Build and Test cedar-spec #448: Pull request #179 synchronize by khieta
December 14, 2023 19:52 14m 18s khieta/lean-templates
khieta/lean-templates
December 14, 2023 19:52 14m 18s
Add templates to Lean Build and Test cedar-spec #447: Pull request #179 synchronize by khieta
December 14, 2023 19:32 14m 11s khieta/lean-templates
khieta/lean-templates
December 14, 2023 19:32 14m 11s
Add templates to Lean Build and Test cedar-spec #446: Pull request #179 opened by khieta
December 14, 2023 16:21 12m 26s khieta/lean-templates
khieta/lean-templates
December 14, 2023 16:21 12m 26s
Simplify the specification of Decimal. Build and Test cedar-spec #445: Pull request #178 opened by emina
December 13, 2023 19:14 14m 53s emina/simplify-decimal-spec
emina/simplify-decimal-spec
December 13, 2023 19:14 14m 53s
Replace mathlib4 with std4 Build and Test cedar-spec #444: Pull request #177 synchronize by khieta
December 13, 2023 16:29 14m 26s emina/use-only-lean-std4
emina/use-only-lean-std4
December 13, 2023 16:29 14m 26s
Replace mathlib4 with std4 Build and Test cedar-spec #443: Pull request #177 synchronize by khieta
December 13, 2023 15:54 40m 15s emina/use-only-lean-std4
emina/use-only-lean-std4
December 13, 2023 15:54 40m 15s
Replace mathlib4 with std4 Build and Test cedar-spec #442: Pull request #177 synchronize by khieta
December 13, 2023 15:22 12m 2s emina/use-only-lean-std4
emina/use-only-lean-std4
December 13, 2023 15:22 12m 2s
Replace mathlib4 with std4 Build and Test cedar-spec #441: Pull request #177 opened by emina
December 12, 2023 23:04 12m 31s emina/use-only-lean-std4
emina/use-only-lean-std4
December 12, 2023 23:04 12m 31s
Fix Lean DRT "unknown extension function" errors Build and Test cedar-spec #440: Pull request #176 synchronize by khieta
December 12, 2023 20:59 16m 47s khieta/fix-drt-error
khieta/fix-drt-error
December 12, 2023 20:59 16m 47s
Fix Lean DRT "unknown extension function" errors Build and Test cedar-spec #439: Pull request #176 opened by khieta
December 12, 2023 17:57 17m 15s khieta/fix-drt-error
khieta/fix-drt-error
December 12, 2023 17:57 17m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-12-12 or the other filters available.