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

refactor out some panics in CedarProto Build and Test cedar-spec #1379: Pull request #557 opened by cdisselkoen
February 27, 2025 21:17 15m 15s cdisselkoen/fewer-panics
cdisselkoen/fewer-panics
February 27, 2025 21:17 15m 15s
TPE Lean model Build and Test cedar-spec #1378: Pull request #548 synchronize by shaobo-he-aws
February 27, 2025 21:16 13m 25s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 27, 2025 21:16 13m 25s
rely on impls more Build and Test cedar-spec #1377: Pull request #556 synchronize by cdisselkoen
February 27, 2025 20:04 13m 29s cdisselkoen/impls
cdisselkoen/impls
February 27, 2025 20:04 13m 29s
TPE Lean model Build and Test cedar-spec #1376: Pull request #548 synchronize by shaobo-he-aws
February 27, 2025 19:39 13m 24s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 27, 2025 19:39 13m 24s
TPE Lean model Build and Test cedar-spec #1375: Pull request #548 synchronize by shaobo-he-aws
February 27, 2025 18:39 5m 51s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 27, 2025 18:39 5m 51s
rely on impls more Build and Test cedar-spec #1374: Pull request #556 opened by cdisselkoen
February 27, 2025 17:50 13m 58s cdisselkoen/impls
cdisselkoen/impls
February 27, 2025 17:50 13m 58s
more elegant Protobuf.Message impl Build and Test cedar-spec #1373: Pull request #555 opened by cdisselkoen
February 27, 2025 17:40 13m 27s cdisselkoen/lean-macros
cdisselkoen/lean-macros
February 27, 2025 17:40 13m 27s
TPE Lean model Build and Test cedar-spec #1372: Pull request #548 synchronize by shaobo-he-aws
February 27, 2025 03:05 13m 25s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 27, 2025 03:05 13m 25s
TPE Lean model Build and Test cedar-spec #1371: Pull request #548 synchronize by shaobo-he-aws
February 27, 2025 03:00 13m 13s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 27, 2025 03:00 13m 13s
TPE Lean model Build and Test cedar-spec #1370: Pull request #548 synchronize by shaobo-he-aws
February 27, 2025 00:54 13m 22s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 27, 2025 00:54 13m 22s
TPE Lean model Build and Test cedar-spec #1369: Pull request #548 synchronize by shaobo-he-aws
February 26, 2025 22:03 14m 0s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 26, 2025 22:03 14m 0s
update for cedar#1506 Build and Test cedar-spec #1368: Pull request #554 synchronize by cdisselkoen
February 26, 2025 21:37 13m 32s cdisselkoen/update-for-cedar-1506
cdisselkoen/update-for-cedar-1506
February 26, 2025 21:37 13m 32s
update for cedar#1506 Build and Test cedar-spec #1367: Pull request #554 opened by cdisselkoen
February 26, 2025 20:53 12m 1s cdisselkoen/update-for-cedar-1506
cdisselkoen/update-for-cedar-1506
February 26, 2025 20:53 12m 1s
update for 1495 Build and Test cedar-spec #1366: Pull request #553 opened by cdisselkoen
February 26, 2025 19:01 13m 23s cdisselkoen/update-for-1495
cdisselkoen/update-for-1495
February 26, 2025 19:01 13m 23s
TPE Lean model Build and Test cedar-spec #1365: Pull request #548 synchronize by shaobo-he-aws
February 26, 2025 18:56 12m 0s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 26, 2025 18:56 12m 0s
remove a redundant argument Build and Test cedar-spec #1364: Pull request #552 opened by shaobo-he-aws
February 26, 2025 18:03 13m 39s fix/shaobo/request-entities-validation
fix/shaobo/request-entities-validation
February 26, 2025 18:03 13m 39s
generate protodatas for unit tests using cedar-policy interface Build and Test cedar-spec #1363: Pull request #551 synchronize by cdisselkoen
February 26, 2025 16:12 15m 28s cdisselkoen/prototests-generated-from-main
cdisselkoen/prototests-generated-from-main
February 26, 2025 16:12 15m 28s
generate protodatas for unit tests using cedar-policy interface Build and Test cedar-spec #1362: Pull request #551 opened by cdisselkoen
February 26, 2025 15:17 14m 4s cdisselkoen/prototests-generated-from-main
cdisselkoen/prototests-generated-from-main
February 26, 2025 15:17 14m 4s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1361: Pull request #533 synchronize by john-h-kastner-aws
February 25, 2025 21:27 7m 44s levels-checking
levels-checking
February 25, 2025 21:27 7m 44s
update for cedar#1488 Build and Test cedar-spec #1360: Pull request #550 synchronize by cdisselkoen
February 25, 2025 20:53 14m 11s cdisselkoen/update-for-1488
cdisselkoen/update-for-1488
February 25, 2025 20:53 14m 11s
update for cedar#1488 Build and Test cedar-spec #1359: Pull request #550 synchronize by cdisselkoen
February 25, 2025 20:34 13m 40s cdisselkoen/update-for-1488
cdisselkoen/update-for-1488
February 25, 2025 20:34 13m 40s
update for cedar#1488 Build and Test cedar-spec #1358: Pull request #550 opened by cdisselkoen
February 25, 2025 20:34 13m 36s cdisselkoen/update-for-1488
cdisselkoen/update-for-1488
February 25, 2025 20:34 13m 36s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1357: Pull request #533 synchronize by john-h-kastner-aws
February 25, 2025 17:13 14m 19s levels-checking
levels-checking
February 25, 2025 17:13 14m 19s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1356: Pull request #533 synchronize by john-h-kastner-aws
February 25, 2025 16:46 14m 18s levels-checking
levels-checking
February 25, 2025 16:46 14m 18s
TPE Lean model Build and Test cedar-spec #1355: Pull request #548 synchronize by shaobo-he-aws
February 25, 2025 00:29 14m 54s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 25, 2025 00:29 14m 54s