Skip to content

Actions: cedar-policy/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cargo in - Update #947065002 Dependabot Updates #6: by dependabot bot
January 13, 2025 13:50 40s main
main
January 13, 2025 13:50 40s
Refactor models and proofs to use Lean's Int64. (#515) Deploy Lean Documentation to Pages #170: Commit 6a9f408 pushed by emina
January 10, 2025 22:27 3m 51s main
main
January 10, 2025 22:27 3m 51s
Make datetime generation optional (#514) Deploy Lean Documentation to Pages #169: Commit 3681ffc pushed by shaobo-he-aws
January 10, 2025 21:59 3m 59s main
main
January 10, 2025 21:59 3m 59s
Refactor models and proofs to use Lean's Int64. Build and Test cedar-spec #1246: Pull request #515 opened by emina
January 10, 2025 21:53 15m 15s emina/refactor-int64
emina/refactor-int64
January 10, 2025 21:53 15m 15s
Make datetime generation optional Build and Test cedar-spec #1245: Pull request #514 opened by shaobo-he-aws
January 10, 2025 17:56 15m 15s feature/shaobo/optional-datetime
feature/shaobo/optional-datetime
January 10, 2025 17:56 15m 15s
a few more utilities (#513) Deploy Lean Documentation to Pages #168: Commit 14d7341 pushed by cdisselkoen
January 8, 2025 21:08 3m 44s main
main
January 8, 2025 21:08 3m 44s
a few more utilities Build and Test cedar-spec #1244: Pull request #513 opened by cdisselkoen
January 8, 2025 20:51 15m 16s cdisselkoen/utilities
cdisselkoen/utilities
January 8, 2025 20:51 15m 16s
Upgrade to lean 4.15 (#512) Deploy Lean Documentation to Pages #167: Commit 65afb11 pushed by emina
January 8, 2025 19:16 3m 54s main
main
January 8, 2025 19:16 3m 54s
Upgrade to lean 4.15 Build and Test cedar-spec #1243: Pull request #512 synchronize by emina
January 8, 2025 18:48 15m 29s emina/upgrade-to-lean-4.15
emina/upgrade-to-lean-4.15
January 8, 2025 18:48 15m 29s
Upgrade to lean 4.15 Build and Test cedar-spec #1242: Pull request #512 opened by emina
January 8, 2025 18:39 5m 29s emina/upgrade-to-lean-4.15
emina/upgrade-to-lean-4.15
January 8, 2025 18:39 5m 29s
Update typechecking to construct type annoted AST (#504) Deploy Lean Documentation to Pages #166: Commit 7b4d013 pushed by john-h-kastner-aws
January 7, 2025 18:12 4m 12s main
main
January 7, 2025 18:12 4m 12s
Update typechecking to construct type annoted AST Build and Test cedar-spec #1241: Pull request #504 synchronize by john-h-kastner-aws
January 7, 2025 17:43 15m 12s type_annot_ast
type_annot_ast
January 7, 2025 17:43 15m 12s
Update typechecking to construct type annoted AST Build and Test cedar-spec #1240: Pull request #504 synchronize by john-h-kastner-aws
January 7, 2025 17:37 14m 58s type_annot_ast
type_annot_ast
January 7, 2025 17:37 14m 58s
Update typechecking to construct type annoted AST Build and Test cedar-spec #1239: Pull request #504 synchronize by john-h-kastner-aws
January 7, 2025 16:22 14m 56s type_annot_ast
type_annot_ast
January 7, 2025 16:22 14m 56s
Update typechecking to construct type annoted AST Build and Test cedar-spec #1238: Pull request #504 synchronize by john-h-kastner-aws
January 6, 2025 21:44 14m 57s type_annot_ast
type_annot_ast
January 6, 2025 21:44 14m 57s
update for cedar#1406 (#510) Deploy Lean Documentation to Pages #165: Commit 6075911 pushed by cdisselkoen
January 6, 2025 17:28 4m 21s main
main
January 6, 2025 17:28 4m 21s
update for cedar#1406 Build and Test cedar-spec #1237: Pull request #510 synchronize by cdisselkoen
January 6, 2025 17:12 14m 55s cdisselkoen/update-for-1406
cdisselkoen/update-for-1406
January 6, 2025 17:12 14m 55s
cargo in - Update #943660032 Dependabot Updates #5: by dependabot bot
January 6, 2025 14:07 39s main
main
January 6, 2025 14:07 39s
update for cedar#1406 Build and Test cedar-spec #1236: Pull request #510 synchronize by cdisselkoen
January 3, 2025 21:46 7m 15s cdisselkoen/update-for-1406
cdisselkoen/update-for-1406
January 3, 2025 21:46 7m 15s
update for cedar#1406 Build and Test cedar-spec #1235: Pull request #510 opened by cdisselkoen
January 3, 2025 20:56 7m 28s cdisselkoen/update-for-1406
cdisselkoen/update-for-1406
January 3, 2025 20:56 7m 28s
update for cedar#1405 (#509) Deploy Lean Documentation to Pages #164: Commit 8e39b69 pushed by cdisselkoen
January 3, 2025 18:38 4m 20s main
main
January 3, 2025 18:38 4m 20s
update for cedar#1405 Build and Test cedar-spec #1234: Pull request #509 opened by cdisselkoen
January 3, 2025 14:31 15m 9s cdisselkoen/update-for-1405
cdisselkoen/update-for-1405
January 3, 2025 14:31 15m 9s
Refactor generator code (#507) Deploy Lean Documentation to Pages #163: Commit 7b0ef84 pushed by shaobo-he-aws
January 2, 2025 18:34 4m 13s main
main
January 2, 2025 18:34 4m 13s
[CedarProto] introduce ignore, and other small refactors (#508) Deploy Lean Documentation to Pages #162: Commit b9a79c8 pushed by shaobo-he-aws
December 31, 2024 21:27 4m 19s main
main
December 31, 2024 21:27 4m 19s
[CedarProto] introduce ignore, and other small refactors Build and Test cedar-spec #1233: Pull request #508 opened by cdisselkoen
December 31, 2024 20:10 15m 1s cdisselkoen/proto-refactors
cdisselkoen/proto-refactors
December 31, 2024 20:10 15m 1s