Skip to content

Actions: cedar-policy/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,103 workflow runs
1,103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
switch to Lean's DecidableLT (#531) Deploy Lean Documentation to Pages #183: Commit 3c8c558 pushed by cdisselkoen
February 10, 2025 14:00 3m 26s main
main
February 10, 2025 14:00 3m 26s
cargo in - Update #961528257 Dependabot Updates #10: by dependabot bot
February 10, 2025 13:17 37s main
main
February 10, 2025 13:17 37s
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
update to Lean 4.16 (#529) Deploy Lean Documentation to Pages #182: Commit 2481def pushed by cdisselkoen
February 7, 2025 19:37 3m 45s main
main
February 7, 2025 19:37 3m 45s
Adjust targets for RFC 53 (#528) Deploy Lean Documentation to Pages #181: Commit b97b756 pushed by shaobo-he-aws
February 7, 2025 18:44 3m 49s main
main
February 7, 2025 18:44 3m 49s
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