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

Level checking implementation and proof (WIP) Build and Test cedar-spec #1304: Pull request #533 synchronize by john-h-kastner-aws
February 10, 2025 15:13 12m 32s levels-checking
levels-checking
February 10, 2025 15:13 12m 32s
fail directly when lean --print-libdir returns no output Build and Test cedar-spec #1303: Pull request #534 synchronize by cdisselkoen
February 10, 2025 14:42 12m 15s cdisselkoen/tweak-script
cdisselkoen/tweak-script
February 10, 2025 14:42 12m 15s
fail directly when lean --print-libdir returns no output Build and Test cedar-spec #1302: Pull request #534 opened by cdisselkoen
February 10, 2025 14:39 5m 47s cdisselkoen/tweak-script
cdisselkoen/tweak-script
February 10, 2025 14:39 5m 47s
RFC 53 Lean model and proofs Build and Test cedar-spec #1301: Pull request #530 synchronize by shaobo-he-aws
February 8, 2025 04:55 12m 13s feature/shaobo/rfc53-one-schema
feature/shaobo/rfc53-one-schema
February 8, 2025 04:55 12m 13s
RFC 53 Lean model and proofs Build and Test cedar-spec #1300: Pull request #530 synchronize by shaobo-he-aws
February 8, 2025 04:02 12m 9s feature/shaobo/rfc53-one-schema
feature/shaobo/rfc53-one-schema
February 8, 2025 04:02 12m 9s
RFC 53 Lean model and proofs Build and Test cedar-spec #1299: Pull request #530 synchronize by shaobo-he-aws
February 8, 2025 03:58 12m 17s feature/shaobo/rfc53-one-schema
feature/shaobo/rfc53-one-schema
February 8, 2025 03:58 12m 17s
RFC 53 Lean model and proofs Build and Test cedar-spec #1298: Pull request #530 synchronize by shaobo-he-aws
February 8, 2025 00:41 12m 22s feature/shaobo/rfc53-one-schema
feature/shaobo/rfc53-one-schema
February 8, 2025 00:41 12m 22s
RFC 53 Lean model and proofs Build and Test cedar-spec #1297: Pull request #530 synchronize by shaobo-he-aws
February 8, 2025 00:21 12m 12s feature/shaobo/rfc53-one-schema
feature/shaobo/rfc53-one-schema
February 8, 2025 00:21 12m 12s
RFC 53 Lean model and proofs Build and Test cedar-spec #1296: Pull request #530 synchronize by shaobo-he-aws
February 7, 2025 22:46 12m 40s feature/shaobo/rfc53-one-schema
feature/shaobo/rfc53-one-schema
February 7, 2025 22:46 12m 40s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1295: Pull request #533 opened by john-h-kastner-aws
February 7, 2025 22:37 4m 12s levels-checking
levels-checking
February 7, 2025 22:37 4m 12s
update for cedar#1452 Build and Test cedar-spec #1294: Pull request #532 opened by cdisselkoen
February 7, 2025 21:57 9m 9s cdisselkoen/update-for-1452
cdisselkoen/update-for-1452
February 7, 2025 21:57 9m 9s
RFC 53 Lean model and proofs Build and Test cedar-spec #1293: Pull request #530 synchronize by shaobo-he-aws
February 7, 2025 20:47 12m 20s feature/shaobo/rfc53-one-schema
feature/shaobo/rfc53-one-schema
February 7, 2025 20:47 12m 20s
RFC 53 Lean model and proofs Build and Test cedar-spec #1292: Pull request #530 synchronize by shaobo-he-aws
February 7, 2025 20:08 5m 19s feature/shaobo/rfc53-one-schema
feature/shaobo/rfc53-one-schema
February 7, 2025 20:08 5m 19s
switch to Lean's DecidableLT Build and Test cedar-spec #1291: Pull request #531 synchronize by cdisselkoen
February 7, 2025 19:59 12m 10s cdisselkoen/DecidableLT
cdisselkoen/DecidableLT
February 7, 2025 19:59 12m 10s
switch to Lean's DecidableLT Build and Test cedar-spec #1290: Pull request #531 opened by cdisselkoen
February 7, 2025 19:42 5m 26s cdisselkoen/DecidableLT
cdisselkoen/DecidableLT
February 7, 2025 19:42 5m 26s
RFC 53 Lean model and proofs Build and Test cedar-spec #1289: Pull request #530 opened by shaobo-he-aws
February 7, 2025 19:40 5m 9s feature/shaobo/rfc53-one-schema
feature/shaobo/rfc53-one-schema
February 7, 2025 19:40 5m 9s
Adjust targets for RFC 53 Build and Test cedar-spec #1288: Pull request #528 synchronize by shaobo-he-aws
February 7, 2025 18:06 15m 49s fix/shaobo/enum-entities
fix/shaobo/enum-entities
February 7, 2025 18:06 15m 49s
update to Lean 4.16 Build and Test cedar-spec #1287: Pull request #529 synchronize by cdisselkoen
February 7, 2025 18:05 12m 13s cdisselkoen/lean-4.16
cdisselkoen/lean-4.16
February 7, 2025 18:05 12m 13s
update to Lean 4.16 Build and Test cedar-spec #1286: Pull request #529 synchronize by cdisselkoen
February 7, 2025 17:11 12m 55s cdisselkoen/lean-4.16
cdisselkoen/lean-4.16
February 7, 2025 17:11 12m 55s
update to Lean 4.16 Build and Test cedar-spec #1285: Pull request #529 synchronize by cdisselkoen
February 7, 2025 17:06 9m 21s cdisselkoen/lean-4.16
cdisselkoen/lean-4.16
February 7, 2025 17:06 9m 21s
update to Lean 4.16 Build and Test cedar-spec #1284: Pull request #529 synchronize by cdisselkoen
February 7, 2025 16:57 9m 20s cdisselkoen/lean-4.16
cdisselkoen/lean-4.16
February 7, 2025 16:57 9m 20s
update to Lean 4.16 Build and Test cedar-spec #1283: Pull request #529 synchronize by cdisselkoen
February 7, 2025 16:46 9m 19s cdisselkoen/lean-4.16
cdisselkoen/lean-4.16
February 7, 2025 16:46 9m 19s
update to Lean 4.16 Build and Test cedar-spec #1282: Pull request #529 synchronize by cdisselkoen
February 7, 2025 16:37 9m 55s cdisselkoen/lean-4.16
cdisselkoen/lean-4.16
February 7, 2025 16:37 9m 55s
update to Lean 4.16 Build and Test cedar-spec #1281: Pull request #529 synchronize by cdisselkoen
February 7, 2025 16:31 9m 31s cdisselkoen/lean-4.16
cdisselkoen/lean-4.16
February 7, 2025 16:31 9m 31s
update to Lean 4.16 Build and Test cedar-spec #1280: Pull request #529 synchronize by cdisselkoen
February 7, 2025 16:26 9m 27s cdisselkoen/lean-4.16
cdisselkoen/lean-4.16
February 7, 2025 16:26 9m 27s