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
983 workflow runs
983 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use new schema syntax for corpus tests Build and Test cedar-spec #554: Pull request #239 opened by khieta
February 29, 2024 19:11 8m 45s khieta/dump-natural-schema-syntax
khieta/dump-natural-schema-syntax
February 29, 2024 19:11 8m 45s
Fix bug where hierarchy generator could loop infinitely Build and Test cedar-spec #553: Pull request #238 opened by john-h-kastner-aws
February 29, 2024 17:28 9m 25s jkastner/fix_gen_hierarchy
jkastner/fix_gen_hierarchy
February 29, 2024 17:28 9m 25s
Removed dependency on jni Build and Test cedar-spec #552: Pull request #237 opened by shaobo-he-aws
February 29, 2024 05:32 8m 55s chore/shaobo/remove-jni
chore/shaobo/remove-jni
February 29, 2024 05:32 8m 55s
more work on List/Map/Set lemmas Build and Test cedar-spec #551: Pull request #233 synchronize by cdisselkoen
February 28, 2024 20:56 8m 48s cdisselkoen/lemmas
cdisselkoen/lemmas
February 28, 2024 20:56 8m 48s
more work on List/Map/Set lemmas Build and Test cedar-spec #550: Pull request #233 synchronize by cdisselkoen
February 28, 2024 20:54 8m 49s cdisselkoen/lemmas
cdisselkoen/lemmas
February 28, 2024 20:54 8m 49s
more work on List/Map/Set lemmas Build and Test cedar-spec #549: Pull request #233 synchronize by cdisselkoen
February 28, 2024 20:50 9m 18s cdisselkoen/lemmas
cdisselkoen/lemmas
February 28, 2024 20:50 9m 18s
more work on List/Map/Set lemmas Build and Test cedar-spec #548: Pull request #233 synchronize by cdisselkoen
February 28, 2024 20:43 8m 49s cdisselkoen/lemmas
cdisselkoen/lemmas
February 28, 2024 20:43 8m 49s
more work on List/Map/Set lemmas Build and Test cedar-spec #547: Pull request #233 synchronize by cdisselkoen
February 28, 2024 20:42 9m 12s cdisselkoen/lemmas
cdisselkoen/lemmas
February 28, 2024 20:42 9m 12s
Print the correct LHS and RHS in schema roundtrip Build and Test cedar-spec #546: Pull request #236 synchronize by aaronjeline
February 28, 2024 18:48 8m 39s schema-roundtrip-print-fix
schema-roundtrip-print-fix
February 28, 2024 18:48 8m 39s
Print the correct LHS and RHS in schema roundtrip Build and Test cedar-spec #545: Pull request #236 opened by aaronjeline
February 28, 2024 18:41 8m 50s schema-roundtrip-print-fix
schema-roundtrip-print-fix
February 28, 2024 18:41 8m 50s
simplify simps Build and Test cedar-spec #544: Pull request #235 opened by andrewmwells-amazon
February 28, 2024 18:10 8m 43s andrewmwells/simplify-simps
andrewmwells/simplify-simps
February 28, 2024 18:10 8m 43s
Consolidate and generalize data structure proofs. Build and Test cedar-spec #543: Pull request #234 synchronize by emina
February 28, 2024 15:56 8m 38s emina/refactor-data-lemmas
emina/refactor-data-lemmas
February 28, 2024 15:56 8m 38s
Consolidate and generalize data structure proofs. Build and Test cedar-spec #542: Pull request #234 synchronize by emina
February 28, 2024 03:23 8m 47s emina/refactor-data-lemmas
emina/refactor-data-lemmas
February 28, 2024 03:23 8m 47s
Consolidate and generalize data structure proofs. Build and Test cedar-spec #541: Pull request #234 synchronize by emina
February 27, 2024 22:31 6m 5s emina/refactor-data-lemmas
emina/refactor-data-lemmas
February 27, 2024 22:31 6m 5s
Consolidate and generalize data structure proofs. Build and Test cedar-spec #540: Pull request #234 opened by emina
February 27, 2024 22:25 5m 33s emina/refactor-data-lemmas
emina/refactor-data-lemmas
February 27, 2024 22:25 5m 33s
more work on List/Map/Set lemmas Build and Test cedar-spec #539: Pull request #233 opened by cdisselkoen
February 27, 2024 15:16 8m 29s cdisselkoen/lemmas
cdisselkoen/lemmas
February 27, 2024 15:16 8m 29s
Update release/3.1.x branch Build and Test cedar-spec #538: Pull request #232 opened by khieta
February 26, 2024 16:59 8m 23s khieta/release-3.1
khieta/release-3.1
February 26, 2024 16:59 8m 23s
DRT README tidy Build and Test cedar-spec #537: Pull request #231 opened by mwhicks1
February 25, 2024 16:36 8m 39s SIGNOFF
SIGNOFF
February 25, 2024 16:36 8m 39s
DRT README tidy Build and Test cedar-spec #536: Pull request #230 opened by mwhicks1
February 25, 2024 15:40 8m 48s drt-readme-update
drt-readme-update
February 25, 2024 15:40 8m 48s
Schema parser pbt Build and Test cedar-spec #535: Pull request #229 synchronize by aaronjeline
February 23, 2024 16:40 8m 53s schema_parser_pbt
schema_parser_pbt
February 23, 2024 16:40 8m 53s
Schema parser pbt Build and Test cedar-spec #534: Pull request #229 synchronize by aaronjeline
February 23, 2024 16:33 8m 27s schema_parser_pbt
schema_parser_pbt
February 23, 2024 16:33 8m 27s
Schema parser pbt Build and Test cedar-spec #533: Pull request #229 synchronize by aaronjeline
February 23, 2024 16:31 8m 45s schema_parser_pbt
schema_parser_pbt
February 23, 2024 16:31 8m 45s
Schema parser pbt Build and Test cedar-spec #532: Pull request #229 synchronize by aaronjeline
February 23, 2024 16:30 8m 53s schema_parser_pbt
schema_parser_pbt
February 23, 2024 16:30 8m 53s
Schema parser pbt Build and Test cedar-spec #531: Pull request #229 synchronize by aaronjeline
February 23, 2024 16:14 8m 31s schema_parser_pbt
schema_parser_pbt
February 23, 2024 16:14 8m 31s
Schema parser pbt Build and Test cedar-spec #530: Pull request #229 synchronize by aaronjeline
February 23, 2024 16:11 8m 38s schema_parser_pbt
schema_parser_pbt
February 23, 2024 16:11 8m 38s
ProTip! You can narrow down the results and go further in time using created:<2024-02-23 or the other filters available.