Skip to content

Actions: cedar-policy/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TPE (WIP) 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
[4.3.x] Cherry-pick #532 (the update for cedar#1452) Build and Test cedar-spec #1329: Pull request #545 opened by cdisselkoen
February 18, 2025 21:02 13m 47s cdisselkoen/cherrypick
cdisselkoen/cherrypick
February 18, 2025 21:02 13m 47s
Update entity JSON parsing for changes to entity struct (#544) Deploy Lean Documentation to Pages #192: Commit d60ba77 pushed by john-h-kastner-aws
February 17, 2025 18:47 3m 27s main
main
February 17, 2025 18:47 3m 27s
Update entity JSON parsing for changes to entity struct Build and Test cedar-spec #1328: Pull request #544 opened by john-h-kastner-aws
February 17, 2025 16:15 13m 41s fix-entity-json-parse
fix-entity-json-parse
February 17, 2025 16:15 13m 41s
cargo in - Update #965925570 Dependabot Updates #11: by dependabot bot
February 17, 2025 14:44 34s main
main
February 17, 2025 14:44 34s
Add more datastructure lemmas and Cedar.Slice (#541) Deploy Lean Documentation to Pages #191: Commit 77e44e8 pushed by emina
February 14, 2025 22:26 3m 39s main
main
February 14, 2025 22:26 3m 39s
Add more datastructure lemmas and Cedar.Slice Build and Test cedar-spec #1327: Pull request #541 opened by emina
February 14, 2025 22:11 13m 54s emina/add-mapUnion-and-slice
emina/add-mapUnion-and-slice
February 14, 2025 22:11 13m 54s
[Lean] rename some definitions, and associated tweaks (#540) Deploy Lean Documentation to Pages #190: Commit 91ac1f1 pushed by emina
February 14, 2025 20:27 3m 39s main
main
February 14, 2025 20:27 3m 39s
[Lean] rename some definitions, and associated tweaks Build and Test cedar-spec #1326: Pull request #540 opened by cdisselkoen
February 14, 2025 19:36 13m 41s cdisselkoen/tweaks
cdisselkoen/tweaks
February 14, 2025 19:36 13m 41s
Updates to fuzzer to fix changes from entity_removal feature in cedar… Deploy Lean Documentation to Pages #189: Commit 7b370a1 pushed by chaluli
February 13, 2025 21:20 3m 23s main
main
February 13, 2025 21:20 3m 23s
Updates to fuzzer to fix changes from entity_removal feature in cedar Build and Test cedar-spec #1325: Pull request #539 opened by chaluli
February 13, 2025 21:06 13m 44s chaluli:entity_removal_drt_fix
chaluli:entity_removal_drt_fix
February 13, 2025 21:06 13m 44s
Check validity of entity store keys (#538) Deploy Lean Documentation to Pages #188: Commit 72fc1e6 pushed by shaobo-he-aws
February 13, 2025 19:15 3m 39s main
main
February 13, 2025 19:15 3m 39s
Fix Lean JSON deserializer (#537) Deploy Lean Documentation to Pages #187: Commit 1f8f852 pushed by shaobo-he-aws
February 13, 2025 15:40 3m 31s main
main
February 13, 2025 15:40 3m 31s
Check validity of entity store keys Build and Test cedar-spec #1324: Pull request #538 synchronize by shaobo-he-aws
February 13, 2025 15:40 13m 46s fix/shaobo/check-entityuid
fix/shaobo/check-entityuid
February 13, 2025 15:40 13m 46s
Check validity of entity store keys Build and Test cedar-spec #1323: Pull request #538 synchronize by shaobo-he-aws
February 13, 2025 09:14 13m 53s fix/shaobo/check-entityuid
fix/shaobo/check-entityuid
February 13, 2025 09:14 13m 53s
Check validity of entity store keys Build and Test cedar-spec #1322: Pull request #538 synchronize by shaobo-he-aws
February 13, 2025 08:44 13m 41s fix/shaobo/check-entityuid
fix/shaobo/check-entityuid
February 13, 2025 08:44 13m 41s
Check validity of entity store keys Build and Test cedar-spec #1321: Pull request #538 synchronize by shaobo-he-aws
February 13, 2025 08:02 13m 43s fix/shaobo/check-entityuid
fix/shaobo/check-entityuid
February 13, 2025 08:02 13m 43s
Check validity of entity store keys Build and Test cedar-spec #1320: Pull request #538 opened by shaobo-he-aws
February 13, 2025 07:04 13m 39s fix/shaobo/check-entityuid
fix/shaobo/check-entityuid
February 13, 2025 07:04 13m 39s
Fix Lean JSON deserializer Build and Test cedar-spec #1319: Pull request #537 opened by shaobo-he-aws
February 13, 2025 06:18 13m 54s fix/shaobo/diff-test
fix/shaobo/diff-test
February 13, 2025 06:18 13m 54s
update for cedar#1452 (#532) Deploy Lean Documentation to Pages #186: Commit ce45daa pushed by cdisselkoen
February 12, 2025 14:39 3m 33s main
main
February 12, 2025 14:39 3m 33s