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

Restore Serialize for two fuzz targets Build and Test cedar-spec #1454: Pull request #572 synchronize by adpaco-aws
March 7, 2025 20:40 13m 55s adpaco-aws:fix-log-compile
adpaco-aws:fix-log-compile
March 7, 2025 20:40 13m 55s
Restore Serialize for two fuzz targets Build and Test cedar-spec #1453: Pull request #572 opened by adpaco-aws
March 7, 2025 20:38 13m 47s adpaco-aws:fix-log-compile
adpaco-aws:fix-log-compile
March 7, 2025 20:38 13m 47s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1452: Pull request #533 synchronize by john-h-kastner-aws
March 7, 2025 19:05 12m 39s levels-checking
levels-checking
March 7, 2025 19:05 12m 39s
Add model for level checking and slicing Build and Test cedar-spec #1451: Pull request #571 synchronize by john-h-kastner-aws
March 7, 2025 19:01 13m 41s level-slicing-model
level-slicing-model
March 7, 2025 19:01 13m 41s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1450: Pull request #533 synchronize by john-h-kastner-aws
March 7, 2025 18:54 12m 46s levels-checking
levels-checking
March 7, 2025 18:54 12m 46s
Add model for level checking and slicing Build and Test cedar-spec #1449: Pull request #571 synchronize by john-h-kastner-aws
March 7, 2025 17:21 13m 50s level-slicing-model
level-slicing-model
March 7, 2025 17:21 13m 50s
Add model for level checking and slicing Build and Test cedar-spec #1448: Pull request #571 synchronize by john-h-kastner-aws
March 7, 2025 17:13 14m 13s level-slicing-model
level-slicing-model
March 7, 2025 17:13 14m 13s
Add model for level checking and slicing Build and Test cedar-spec #1447: Pull request #571 synchronize by john-h-kastner-aws
March 7, 2025 17:12 13m 41s level-slicing-model
level-slicing-model
March 7, 2025 17:12 13m 41s
Add model for level checking and slicing Build and Test cedar-spec #1446: Pull request #571 opened by john-h-kastner-aws
March 6, 2025 22:16 13m 47s level-slicing-model
level-slicing-model
March 6, 2025 22:16 13m 47s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1445: Pull request #533 synchronize by john-h-kastner-aws
March 6, 2025 22:01 12m 57s levels-checking
levels-checking
March 6, 2025 22:01 12m 57s
Fix schema type conversion for extension types Build and Test cedar-spec #1444: Pull request #570 opened by adpaco-aws
March 6, 2025 21:27 13m 41s adpaco-aws:fix-schematype
adpaco-aws:fix-schematype
March 6, 2025 21:27 13m 41s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1443: Pull request #533 synchronize by john-h-kastner-aws
March 6, 2025 21:04 12m 47s levels-checking
levels-checking
March 6, 2025 21:04 12m 47s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1442: Pull request #533 synchronize by john-h-kastner-aws
March 6, 2025 21:03 12m 43s levels-checking
levels-checking
March 6, 2025 21:03 12m 43s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1441: Pull request #533 synchronize by john-h-kastner-aws
March 6, 2025 21:02 12m 51s levels-checking
levels-checking
March 6, 2025 21:02 12m 51s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1440: Pull request #533 synchronize by john-h-kastner-aws
March 6, 2025 20:39 13m 30s levels-checking
levels-checking
March 6, 2025 20:39 13m 30s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1439: Pull request #533 synchronize by john-h-kastner-aws
March 6, 2025 20:37 6m 0s levels-checking
levels-checking
March 6, 2025 20:37 6m 0s
Extend typechecker inversion lemma for type annotation Build and Test cedar-spec #1438: Pull request #569 synchronize by john-h-kastner-aws
March 6, 2025 20:04 13m 39s type-annot-inversion
type-annot-inversion
March 6, 2025 20:04 13m 39s
Extend typechecker inversion lemma for type annotation Build and Test cedar-spec #1437: Pull request #569 synchronize by john-h-kastner-aws
March 6, 2025 19:53 5m 50s type-annot-inversion
type-annot-inversion
March 6, 2025 19:53 5m 50s
Extend typechecker inversion lemma for type annotation Build and Test cedar-spec #1436: Pull request #569 opened by john-h-kastner-aws
March 6, 2025 19:20 13m 46s type-annot-inversion
type-annot-inversion
March 6, 2025 19:20 13m 46s
WellTyped relation for TypedExpr Build and Test cedar-spec #1435: Pull request #547 synchronize by shaobo-he-aws
March 6, 2025 02:13 13m 38s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
March 6, 2025 02:13 13m 38s
WellTyped relation for TypedExpr Build and Test cedar-spec #1434: Pull request #547 synchronize by shaobo-he-aws
March 5, 2025 18:30 13m 55s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
March 5, 2025 18:30 13m 55s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1433: Pull request #533 synchronize by john-h-kastner-aws
March 5, 2025 18:30 14m 18s levels-checking
levels-checking
March 5, 2025 18:30 14m 18s
Cases for datetime types in extExprToValue Build and Test cedar-spec #1432: Pull request #568 opened by adpaco-aws
March 5, 2025 16:27 14m 13s adpaco-aws:datetime-extExprtToValue
adpaco-aws:datetime-extExprtToValue
March 5, 2025 16:27 14m 13s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1431: Pull request #533 synchronize by john-h-kastner-aws
March 5, 2025 16:08 14m 4s levels-checking
levels-checking
March 5, 2025 16:08 14m 4s
WellTyped relation for TypedExpr Build and Test cedar-spec #1430: Pull request #547 synchronize by shaobo-he-aws
March 5, 2025 05:46 13m 57s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
March 5, 2025 05:46 13m 57s