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

Don't panic on error in Context construction Build and Test cedar-spec #401: Pull request #161 opened by john-h-kastner-aws
November 22, 2023 20:32 9m 47s fix/jkastner/context_gen_panic
fix/jkastner/context_gen_panic
November 22, 2023 20:32 9m 47s
Add JSON interface for Lean code Build and Test cedar-spec #400: Pull request #160 opened by khieta
November 22, 2023 20:05 12m 18s khieta/lean-deserialization
khieta/lean-deserialization
November 22, 2023 20:05 12m 18s
Cleanup in validator Build and Test cedar-spec #399: Pull request #159 opened by khieta
November 22, 2023 19:00 11m 54s khieta/validation-edits
khieta/validation-edits
November 22, 2023 19:00 11m 54s
Lean DRT Build and Test cedar-spec #398: Pull request #158 synchronize by khieta
November 21, 2023 22:45 8m 48s lean-drt-javaless
lean-drt-javaless
November 21, 2023 22:45 8m 48s
Lean DRT Build and Test cedar-spec #397: Pull request #158 synchronize by khieta
November 21, 2023 19:40 8m 20s lean-drt-javaless
lean-drt-javaless
November 21, 2023 19:40 8m 20s
Lean DRT Build and Test cedar-spec #396: Pull request #158 synchronize by khieta
November 21, 2023 18:11 8m 14s lean-drt-javaless
lean-drt-javaless
November 21, 2023 18:11 8m 14s
update for cedar#450 Build and Test cedar-spec #395: Pull request #157 synchronize by cdisselkoen
November 17, 2023 18:48 11m 30s update-for-cedar-450
update-for-cedar-450
November 17, 2023 18:48 11m 30s
update for cedar#450 Build and Test cedar-spec #394: Pull request #157 opened by cdisselkoen
November 17, 2023 18:33 11m 11s update-for-cedar-450
update-for-cedar-450
November 17, 2023 18:33 11m 11s
update for RFC 34 (cedar#430) Build and Test cedar-spec #393: Pull request #156 synchronize by cdisselkoen
November 16, 2023 21:34 11m 37s update/cdisselkoen/430
update/cdisselkoen/430
November 16, 2023 21:34 11m 37s
update for RFC 34 (cedar#430) Build and Test cedar-spec #392: Pull request #156 synchronize by cdisselkoen
November 16, 2023 21:00 9m 35s update/cdisselkoen/430
update/cdisselkoen/430
November 16, 2023 21:00 9m 35s
update for RFC 34 (cedar#430) Build and Test cedar-spec #391: Pull request #156 synchronize by cdisselkoen
November 16, 2023 19:15 9m 39s update/cdisselkoen/430
update/cdisselkoen/430
November 16, 2023 19:15 9m 39s
update for RFC 34 (cedar#430) Build and Test cedar-spec #390: Pull request #156 synchronize by cdisselkoen
November 16, 2023 19:04 7m 53s update/cdisselkoen/430
update/cdisselkoen/430
November 16, 2023 19:04 7m 53s
update for RFC 34 (cedar#430) Build and Test cedar-spec #389: Pull request #156 synchronize by cdisselkoen
November 16, 2023 18:52 7m 55s update/cdisselkoen/430
update/cdisselkoen/430
November 16, 2023 18:52 7m 55s
update for RFC 34 (cedar#430) Build and Test cedar-spec #388: Pull request #156 opened by cdisselkoen
November 16, 2023 18:36 8m 11s update/cdisselkoen/430
update/cdisselkoen/430
November 16, 2023 18:36 8m 11s
Followup to #145 Build and Test cedar-spec #387: Pull request #155 synchronize by khieta
November 16, 2023 14:00 11m 27s khieta/fix/is-drt
khieta/fix/is-drt
November 16, 2023 14:00 11m 27s
Followup to #145 Build and Test cedar-spec #386: Pull request #155 opened by khieta
November 16, 2023 13:45 8m 50s khieta/fix/is-drt
khieta/fix/is-drt
November 16, 2023 13:45 8m 50s
cleanup 'deriving's Build and Test cedar-spec #385: Pull request #154 synchronize by andrewmwells-amazon
November 15, 2023 22:48 11m 42s andrewmwells/cleanup-derives
andrewmwells/cleanup-derives
November 15, 2023 22:48 11m 42s
Add the is operator to Dafny Build and Test cedar-spec #384: Pull request #153 synchronize by khieta
November 15, 2023 22:42 11m 20s dafny-is-operator
dafny-is-operator
November 15, 2023 22:42 11m 20s
cleanup 'deriving's Build and Test cedar-spec #383: Pull request #154 synchronize by andrewmwells-amazon
November 15, 2023 22:14 11m 21s andrewmwells/cleanup-derives
andrewmwells/cleanup-derives
November 15, 2023 22:14 11m 21s
cleanup 'deriving's Build and Test cedar-spec #382: Pull request #154 opened by andrewmwells-amazon
November 15, 2023 19:42 11m 37s andrewmwells/cleanup-derives
andrewmwells/cleanup-derives
November 15, 2023 19:42 11m 37s
Add the is operator to Dafny Build and Test cedar-spec #381: Pull request #153 opened by khieta
November 15, 2023 18:05 11m 37s dafny-is-operator
dafny-is-operator
November 15, 2023 18:05 11m 37s
Update to generate is operator Build and Test cedar-spec #380: Pull request #145 synchronize by john-h-kastner-aws
November 15, 2023 17:03 11m 38s feature/jkastner/is
feature/jkastner/is
November 15, 2023 17:03 11m 38s
Update to generate is operator Build and Test cedar-spec #379: Pull request #145 synchronize by john-h-kastner-aws
November 15, 2023 16:54 7m 43s feature/jkastner/is
feature/jkastner/is
November 15, 2023 16:54 7m 43s
Updating to breaking upstream changes Build and Test cedar-spec #378: Pull request #152 opened by aaronjeline
November 13, 2023 21:19 7m 37s updates/aaornjeline/api_changes
updates/aaornjeline/api_changes
November 13, 2023 21:19 7m 37s
Change log to log ESTs Build and Test cedar-spec #377: Pull request #151 synchronize by aaronjeline
November 13, 2023 19:42 11m 37s features/aaronjeline/ests
features/aaronjeline/ests
November 13, 2023 19:42 11m 37s
ProTip! You can narrow down the results and go further in time using created:<2023-11-13 or the other filters available.