Skip to content

Actions: cedar-policy/cedar-spec

Actions

Deploy Lean Documentation to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy_docs.yml
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor types in partial evaluation (#379) Deploy Lean Documentation to Pages #84: Commit 23edc4e pushed by cdisselkoen
July 16, 2024 16:23 3m 35s main
main
July 16, 2024 16:23 3m 35s
Validation soundness - Complete (#383) Deploy Lean Documentation to Pages #83: Commit c6bc61c pushed by khieta
July 16, 2024 15:30 3m 42s main
main
July 16, 2024 15:30 3m 42s
Cast to c_char instead of i8 for more portable build (#394) Deploy Lean Documentation to Pages #82: Commit 954d44a pushed by john-h-kastner-aws
July 16, 2024 13:01 3m 57s main
main
July 16, 2024 13:01 3m 57s
changes needed for RFC 52 (#391) Deploy Lean Documentation to Pages #81: Commit 1f2928d pushed by shaobo-he-aws
July 15, 2024 17:54 3m 36s main
main
July 15, 2024 17:54 3m 36s
update for cedar#1059 (#390) Deploy Lean Documentation to Pages #80: Commit 2a6f89f pushed by cdisselkoen
July 11, 2024 14:29 3m 45s main
main
July 11, 2024 14:29 3m 45s
update for cedar#1058 (#389) Deploy Lean Documentation to Pages #79: Commit f31b5d3 pushed by cdisselkoen
July 11, 2024 14:05 3m 46s main
main
July 11, 2024 14:05 3m 46s
fix for cedar#1055 (#387) Deploy Lean Documentation to Pages #78: Commit c21b8b2 pushed by khieta
July 10, 2024 17:22 3m 48s main
main
July 10, 2024 17:22 3m 48s
update for cedar#1046 (#386) Deploy Lean Documentation to Pages #77: Commit 7ad8b35 pushed by cdisselkoen
July 10, 2024 13:20 3m 39s main
main
July 10, 2024 13:20 3m 39s
Update Lean Char Parsing from Cedar PR#1047 (#384) Deploy Lean Documentation to Pages #76: Commit a65f2da pushed by shaobo-he-aws
July 9, 2024 17:28 3m 46s main
main
July 9, 2024 17:28 3m 46s
Use seeded RNG to generate UUIDs (#382) Deploy Lean Documentation to Pages #75: Commit 36560c2 pushed by shaobo-he-aws
July 2, 2024 17:48 3m 39s main
main
July 2, 2024 17:48 3m 39s
fix CI for 3.2 branch (#380) Deploy Lean Documentation to Pages #74: Commit b018536 pushed by khieta
July 2, 2024 15:45 3m 56s main
main
July 2, 2024 15:45 3m 56s
followup to #374 (#378) Deploy Lean Documentation to Pages #73: Commit 3590afc pushed by shaobo-he-aws
June 28, 2024 21:34 3m 39s main
main
June 28, 2024 21:34 3m 39s
updates for cedar#1027 (#376) Deploy Lean Documentation to Pages #72: Commit 46f9ff7 pushed by khieta
June 28, 2024 13:19 3m 37s main
main
June 28, 2024 13:19 3m 37s
More datastructure lemmas. (#375) Deploy Lean Documentation to Pages #71: Commit dd2967a pushed by emina
June 27, 2024 16:54 3m 39s main
main
June 27, 2024 16:54 3m 39s
update for cedar#1016 (#374) Deploy Lean Documentation to Pages #70: Commit a054f5c pushed by cdisselkoen
June 26, 2024 18:03 3m 36s main
main
June 26, 2024 18:03 3m 36s
Proof that subst preserves errors (#368) Deploy Lean Documentation to Pages #69: Commit 31949a6 pushed by cdisselkoen
June 26, 2024 12:39 3m 44s main
main
June 26, 2024 12:39 3m 44s
Comparison fix (#371) Deploy Lean Documentation to Pages #68: Commit e155338 pushed by aaronjeline
June 21, 2024 18:03 3m 53s main
main
June 21, 2024 18:03 3m 53s
Make LeanDefinitionalEngine thread safe (#227) (#370) Deploy Lean Documentation to Pages #67: Commit cc62bc8 pushed by andrewmwells-amazon
June 20, 2024 23:58 3m 35s main
main
June 20, 2024 23:58 3m 35s
Getting rid of unspecified (#366) Deploy Lean Documentation to Pages #66: Commit 156fc3a pushed by aaronjeline
June 20, 2024 20:25 3m 34s main
main
June 20, 2024 20:25 3m 34s
Remove validity issue for schema generation (#369) Deploy Lean Documentation to Pages #65: Commit 46c790d pushed by vasumv
June 19, 2024 17:12 3m 37s main
main
June 19, 2024 17:12 3m 37s
Optimize add_binding function in common-type-resolution fuzz targ… Deploy Lean Documentation to Pages #64: Commit 36fcb01 pushed by john-h-kastner-aws
June 18, 2024 17:55 3m 34s main
main
June 18, 2024 17:55 3m 34s
Add more datastructure lemmas (#365) Deploy Lean Documentation to Pages #63: Commit c3b43ba pushed by cdisselkoen
June 18, 2024 16:31 3m 43s main
main
June 18, 2024 16:31 3m 43s
Add more datastructure lemmas. (#364) Deploy Lean Documentation to Pages #62: Commit 8387aae pushed by emina
June 17, 2024 17:45 3m 44s main
main
June 17, 2024 17:45 3m 44s
Adds modelling of condition clauses (#361) Deploy Lean Documentation to Pages #61: Commit e59b066 pushed by aaronjeline
June 14, 2024 18:35 3m 35s main
main
June 14, 2024 18:35 3m 35s
change Subsmap to map to Partial.Expr (#362) Deploy Lean Documentation to Pages #60: Commit 84e328e pushed by cdisselkoen
June 14, 2024 18:08 3m 40s main
main
June 14, 2024 18:08 3m 40s