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

TPE Lean model Build and Test cedar-spec #1354: Pull request #548 synchronize by shaobo-he-aws
February 25, 2025 00:15 13m 46s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 25, 2025 00:15 13m 46s
TPE Lean model Build and Test cedar-spec #1353: Pull request #548 synchronize by shaobo-he-aws
February 24, 2025 22:34 14m 11s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 24, 2025 22:34 14m 11s
TPE Lean model Build and Test cedar-spec #1352: Pull request #548 synchronize by shaobo-he-aws
February 24, 2025 21:38 13m 38s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 24, 2025 21:38 13m 38s
TPE Lean model Build and Test cedar-spec #1351: Pull request #548 synchronize by shaobo-he-aws
February 24, 2025 21:22 5m 51s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 24, 2025 21:22 5m 51s
WellTyped relation for TypedExpr Build and Test cedar-spec #1350: Pull request #547 synchronize by shaobo-he-aws
February 24, 2025 18:33 14m 0s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
February 24, 2025 18:33 14m 0s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1349: Pull request #533 synchronize by john-h-kastner-aws
February 24, 2025 17:53 14m 5s levels-checking
levels-checking
February 24, 2025 17:53 14m 5s
Split soundness proof for binaryApp into multiple files Build and Test cedar-spec #1348: Pull request #549 opened by john-h-kastner-aws
February 24, 2025 16:13 13m 59s split_binary_soundness
split_binary_soundness
February 24, 2025 16:13 13m 59s
WellTyped relation for TypedExpr Build and Test cedar-spec #1347: Pull request #547 synchronize by shaobo-he-aws
February 24, 2025 02:52 13m 38s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
February 24, 2025 02:52 13m 38s
TPE Lean model Build and Test cedar-spec #1346: Pull request #548 synchronize by shaobo-he-aws
February 23, 2025 20:50 6m 13s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 23, 2025 20:50 6m 13s
TPE Lean model Build and Test cedar-spec #1345: Pull request #548 synchronize by shaobo-he-aws
February 23, 2025 20:21 5m 23s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 23, 2025 20:21 5m 23s
TPE Lean model Build and Test cedar-spec #1344: Pull request #548 synchronize by shaobo-he-aws
February 22, 2025 07:12 6m 21s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 22, 2025 07:12 6m 21s
TPE Lean model Build and Test cedar-spec #1343: Pull request #548 synchronize by shaobo-he-aws
February 21, 2025 23:01 5m 28s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 21, 2025 23:01 5m 28s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1342: Pull request #533 synchronize by john-h-kastner-aws
February 21, 2025 22:18 13m 37s levels-checking
levels-checking
February 21, 2025 22:18 13m 37s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1341: Pull request #533 synchronize by john-h-kastner-aws
February 21, 2025 21:24 13m 45s levels-checking
levels-checking
February 21, 2025 21:24 13m 45s
TPE Lean model Build and Test cedar-spec #1340: Pull request #548 synchronize by shaobo-he-aws
February 21, 2025 19:36 6m 6s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 21, 2025 19:36 6m 6s
TPE Lean model Build and Test cedar-spec #1339: Pull request #548 synchronize by shaobo-he-aws
February 21, 2025 19:12 5m 41s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 21, 2025 19:12 5m 41s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1338: Pull request #533 synchronize by john-h-kastner-aws
February 21, 2025 17:34 14m 1s levels-checking
levels-checking
February 21, 2025 17:34 14m 1s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1337: Pull request #533 synchronize by john-h-kastner-aws
February 21, 2025 16:58 13m 48s levels-checking
levels-checking
February 21, 2025 16:58 13m 48s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1336: Pull request #533 synchronize by john-h-kastner-aws
February 21, 2025 16:20 13m 50s levels-checking
levels-checking
February 21, 2025 16:20 13m 50s
TPE Lean model Build and Test cedar-spec #1335: Pull request #548 opened by shaobo-he-aws
February 21, 2025 08:04 5m 26s feature/shaobo/tpe-experimental
feature/shaobo/tpe-experimental
February 21, 2025 08:04 5m 26s
WellTyped relation for TypedExpr Build and Test cedar-spec #1334: Pull request #547 opened by shaobo-he-aws
February 21, 2025 00:55 15m 5s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
February 21, 2025 00:55 15m 5s
Add Expr.ext to contain extension values Build and Test cedar-spec #1333: Pull request #546 synchronize by shaobo-he-aws
February 20, 2025 18:18 14m 9s feature/shaobo/expr-ext
feature/shaobo/expr-ext
February 20, 2025 18:18 14m 9s
Add Expr.ext to contain extension values Build and Test cedar-spec #1332: Pull request #546 synchronize by shaobo-he-aws
February 19, 2025 19:08 5m 36s feature/shaobo/expr-ext
feature/shaobo/expr-ext
February 19, 2025 19:08 5m 36s
[4.3.x] Cherry-pick #532 (the update for cedar#1452) Build and Test cedar-spec #1331: Pull request #545 synchronize by cdisselkoen
February 19, 2025 14:46 13m 40s cdisselkoen/cherrypick
cdisselkoen/cherrypick
February 19, 2025 14:46 13m 40s
Add Expr.ext to contain extension values Build and Test cedar-spec #1330: Pull request #546 opened by shaobo-he-aws
February 19, 2025 05:34 13m 47s feature/shaobo/expr-ext
feature/shaobo/expr-ext
February 19, 2025 05:34 13m 47s