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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change log to log ESTs Build and Test cedar-spec #376: Pull request #151 opened by aaronjeline
November 13, 2023 17:54 10m 36s features/aaronjeline/ests
features/aaronjeline/ests
November 13, 2023 17:54 10m 36s
update for cedar#413 Build and Test cedar-spec #375: Pull request #150 opened by cdisselkoen
November 9, 2023 20:41 17m 6s update-for-cedar#413
update-for-cedar#413
November 9, 2023 20:41 17m 6s
Update to generate is operator Build and Test cedar-spec #374: Pull request #145 synchronize by john-h-kastner-aws
November 8, 2023 15:49 12m 57s feature/jkastner/is
feature/jkastner/is
November 8, 2023 15:49 12m 57s
Formalize the use of bounded integers and error-on-overflow semantics Build and Test cedar-spec #373: Pull request #149 opened by emina
November 7, 2023 19:01 23m 2s emina/formalize-error-on-overflow
emina/formalize-error-on-overflow
November 7, 2023 19:01 23m 2s
update for cedar#393 Build and Test cedar-spec #372: Pull request #148 synchronize by cdisselkoen
November 7, 2023 16:10 11m 4s update-for-cedar-393
update-for-cedar-393
November 7, 2023 16:10 11m 4s
update for cedar#393 Build and Test cedar-spec #371: Pull request #148 opened by cdisselkoen
November 7, 2023 16:00 7m 42s update-for-cedar-393
update-for-cedar-393
November 7, 2023 16:00 7m 42s
Dont' generate record literals w/ dup keys Build and Test cedar-spec #370: Pull request #147 synchronize by aaronjeline
November 6, 2023 17:04 22m 37s bugfix/aaronjeline/duplicate_keys
bugfix/aaronjeline/duplicate_keys
November 6, 2023 17:04 22m 37s
Dont' generate record literals w/ dup keys Build and Test cedar-spec #369: Pull request #147 opened by aaronjeline
November 6, 2023 16:17 12m 58s bugfix/aaronjeline/duplicate_keys
bugfix/aaronjeline/duplicate_keys
November 6, 2023 16:17 12m 58s
First pass at the Lean soundness lemma Build and Test cedar-spec #368: Pull request #143 synchronize by khieta
November 3, 2023 16:24 19m 46s khieta/add-soundness-lemma
khieta/add-soundness-lemma
November 3, 2023 16:24 19m 46s
First pass at the Lean soundness lemma Build and Test cedar-spec #367: Pull request #143 synchronize by khieta
November 3, 2023 14:28 17m 12s khieta/add-soundness-lemma
khieta/add-soundness-lemma
November 3, 2023 14:28 17m 12s
First pass at the Lean soundness lemma Build and Test cedar-spec #366: Pull request #143 synchronize by khieta
November 3, 2023 14:23 7m 47s khieta/add-soundness-lemma
khieta/add-soundness-lemma
November 3, 2023 14:23 7m 47s
Revert "Simplified type-directed expression generation (#131)" Build and Test cedar-spec #365: Pull request #146 opened by shaobo-he-aws
November 2, 2023 18:15 20m 40s shaobo/revert-generator
shaobo/revert-generator
November 2, 2023 18:15 20m 40s
Update ci.yml Build and Test cedar-spec #364: Pull request #144 synchronize by andrewmwells-amazon
November 1, 2023 18:35 17m 42s andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 18:35 17m 42s
Update ci.yml Build and Test cedar-spec #363: Pull request #144 synchronize by andrewmwells-amazon
November 1, 2023 18:23 15m 58s andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 18:23 15m 58s
Update ci.yml Build and Test cedar-spec #362: Pull request #144 synchronize by andrewmwells-amazon
November 1, 2023 18:06 20m 2s andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 18:06 20m 2s
Update ci.yml Build and Test cedar-spec #361: Pull request #144 synchronize by andrewmwells-amazon
November 1, 2023 17:52 17m 33s andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 17:52 17m 33s
Update ci.yml Build and Test cedar-spec #360: Pull request #144 synchronize by andrewmwells-amazon
November 1, 2023 17:33 17m 4s andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 17:33 17m 4s
break unit test Build and Test cedar-spec #359: Commit 4147ca8 pushed by andrewmwells-amazon
November 1, 2023 17:27 Failure andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 17:27 Failure
First pass at the Lean soundness lemma Build and Test cedar-spec #358: Pull request #143 synchronize by khieta
November 1, 2023 14:58 10m 35s khieta/add-soundness-lemma
khieta/add-soundness-lemma
November 1, 2023 14:58 10m 35s
Update to generate is operator Build and Test cedar-spec #357: Pull request #145 opened by john-h-kastner-aws
November 1, 2023 14:27 12m 24s feature/jkastner/is
feature/jkastner/is
November 1, 2023 14:27 12m 24s
Update ci.yml Build and Test cedar-spec #356: Pull request #144 synchronize by andrewmwells-amazon
November 1, 2023 03:06 17m 52s andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 03:06 17m 52s
Update ci.yml Build and Test cedar-spec #355: Pull request #144 synchronize by andrewmwells-amazon
November 1, 2023 02:57 17m 50s andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 02:57 17m 50s
Update ci.yml Build and Test cedar-spec #354: Pull request #144 synchronize by andrewmwells-amazon
November 1, 2023 02:49 16m 15s andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 02:49 16m 15s
Update ci.yml Build and Test cedar-spec #353: Pull request #144 synchronize by andrewmwells-amazon
November 1, 2023 02:25 20m 10s andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 02:25 20m 10s
Update ci.yml Build and Test cedar-spec #352: Pull request #144 synchronize by andrewmwells-amazon
November 1, 2023 01:58 23m 32s andrewmwells-amazon-lean-ci
andrewmwells-amazon-lean-ci
November 1, 2023 01:58 23m 32s
ProTip! You can narrow down the results and go further in time using created:<2023-11-01 or the other filters available.