Skip to content

Actions: cedar-policy/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add more invalid datetime tests Build and Test cedar-spec #1489: Pull request #580 opened by john-h-kastner-aws
March 13, 2025 18:00 15m 30s invalid-dt-tests
invalid-dt-tests
March 13, 2025 18:00 15m 30s
Add protobuf parsing offset when used as a datetime constructor (… Deploy Lean Documentation to Pages #221: Commit dae4839 pushed by john-h-kastner-aws
March 13, 2025 17:33 4m 40s main
main
March 13, 2025 17:33 4m 40s
Add protobuf parsing offset when used as a datetime constructor Build and Test cedar-spec #1488: Pull request #579 synchronize by john-h-kastner-aws
March 13, 2025 16:09 14m 6s parse-offset-constructor
parse-offset-constructor
March 13, 2025 16:09 14m 6s
Add protobuf parsing offset when used as a datetime constructor Build and Test cedar-spec #1487: Pull request #579 synchronize by john-h-kastner-aws
March 13, 2025 15:19 13m 58s parse-offset-constructor
parse-offset-constructor
March 13, 2025 15:19 13m 58s
Add protobuf parsing offset when used as a datetime constructor Build and Test cedar-spec #1486: Pull request #579 opened by john-h-kastner-aws
March 13, 2025 14:06 13m 56s parse-offset-constructor
parse-offset-constructor
March 13, 2025 14:06 13m 56s
[WIP] WellTyped relation for TypedExpr Build and Test cedar-spec #1485: Pull request #547 synchronize by shaobo-he-aws
March 13, 2025 05:36 13m 49s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
March 13, 2025 05:36 13m 49s
[WIP] WellTyped relation for TypedExpr Build and Test cedar-spec #1484: Pull request #547 synchronize by shaobo-he-aws
March 13, 2025 05:34 4m 13s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
March 13, 2025 05:34 4m 13s
Updated parsing roundtrip targets to operate on policy sets (#576) Deploy Lean Documentation to Pages #220: Commit 51aa016 pushed by katherine-hough
March 12, 2025 20:04 4m 44s main
main
March 12, 2025 20:04 4m 44s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1483: Pull request #533 synchronize by john-h-kastner-aws
March 12, 2025 20:01 13m 32s levels-checking
levels-checking
March 12, 2025 20:01 13m 32s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1482: Pull request #533 synchronize by john-h-kastner-aws
March 12, 2025 17:47 12m 57s levels-checking
levels-checking
March 12, 2025 17:47 12m 57s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1481: Pull request #533 synchronize by john-h-kastner-aws
March 12, 2025 17:23 13m 0s levels-checking
levels-checking
March 12, 2025 17:23 13m 0s
Extend typechecker inversion lemma for type annotation Build and Test cedar-spec #1480: Pull request #569 synchronize by john-h-kastner-aws
March 12, 2025 16:32 13m 54s type-annot-inversion
type-annot-inversion
March 12, 2025 16:32 13m 54s
Updated parsing roundtrip targets to operate on policy sets Build and Test cedar-spec #1479: Pull request #576 synchronize by katherine-hough
March 12, 2025 15:34 14m 42s katherine-hough:policy-set-roundtrip
katherine-hough:policy-set-roundtrip
March 12, 2025 15:34 14m 42s
Lean: Definitions and theorems for duration converters (#578) Deploy Lean Documentation to Pages #219: Commit 8058c2d pushed by adpaco-aws
March 12, 2025 15:07 4m 39s main
main
March 12, 2025 15:07 4m 39s
[WIP] WellTyped relation for TypedExpr Build and Test cedar-spec #1478: Pull request #547 synchronize by shaobo-he-aws
March 12, 2025 04:59 13m 40s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
March 12, 2025 04:59 13m 40s
[WIP] WellTyped relation for TypedExpr Build and Test cedar-spec #1477: Pull request #547 synchronize by shaobo-he-aws
March 11, 2025 23:35 14m 1s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
March 11, 2025 23:35 14m 1s
Lean: Definitions and theorems for duration converters Build and Test cedar-spec #1476: Pull request #578 opened by adpaco-aws
March 11, 2025 21:59 13m 43s adpaco-aws:duration-convert
adpaco-aws:duration-convert
March 11, 2025 21:59 13m 43s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1475: Pull request #533 synchronize by john-h-kastner-aws
March 11, 2025 21:32 12m 47s levels-checking
levels-checking
March 11, 2025 21:32 12m 47s
Update level checking to allow access to literals equal to environmen… Deploy Lean Documentation to Pages #218: Commit c186f0f pushed by john-h-kastner-aws
March 11, 2025 20:40 4m 32s main
main
March 11, 2025 20:40 4m 32s
Level checking implementation and proof (WIP) Build and Test cedar-spec #1474: Pull request #533 synchronize by john-h-kastner-aws
March 11, 2025 20:02 13m 3s levels-checking
levels-checking
March 11, 2025 20:02 13m 3s
Update level checking to allow access to literals equal to environment action Build and Test cedar-spec #1473: Pull request #573 synchronize by john-h-kastner-aws
March 11, 2025 19:46 13m 46s fix-action-var-access
fix-action-var-access
March 11, 2025 19:46 13m 46s
Update level checking to allow access to literals equal to environment action Build and Test cedar-spec #1472: Pull request #573 synchronize by john-h-kastner-aws
March 11, 2025 19:45 13m 43s fix-action-var-access
fix-action-var-access
March 11, 2025 19:45 13m 43s
[WIP] WellTyped relation for TypedExpr Build and Test cedar-spec #1471: Pull request #547 synchronize by shaobo-he-aws
March 11, 2025 19:03 13m 45s feature/shaobo/typed-expr-well-typed
feature/shaobo/typed-expr-well-typed
March 11, 2025 19:03 13m 45s
Fixes issue in Datetime.Duration.parse when parsing min duration (#577) Deploy Lean Documentation to Pages #217: Commit 1b6649e pushed by chaluli
March 11, 2025 18:08 4m 35s main
main
March 11, 2025 18:08 4m 35s
Add differential test target for Level Validation (#574) Deploy Lean Documentation to Pages #216: Commit 5da947d pushed by john-h-kastner-aws
March 11, 2025 16:59 4m 30s main
main
March 11, 2025 16:59 4m 30s