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

permissive validation soundness (too), permissive more expressive tha… Deploy Lean Documentation to Pages #109: Commit 589e661 pushed by khieta
September 9, 2024 14:32 4m 32s main
main
September 9, 2024 14:32 4m 32s
update doc-gen4 version (#430) Deploy Lean Documentation to Pages #108: Commit 3b4e24f pushed by khieta
September 9, 2024 14:26 3m 29s main
main
September 9, 2024 14:26 3m 29s
proofs of equivalence for propositional and boolean formulations for … Deploy Lean Documentation to Pages #107: Commit 0546900 pushed by khieta
September 5, 2024 18:37 2m 29s main
main
September 5, 2024 18:37 2m 29s
Changes needed by #1150 (#426) Deploy Lean Documentation to Pages #106: Commit a4493ab pushed by shaobo-he-aws
August 28, 2024 16:43 2m 16s main
main
August 28, 2024 16:43 2m 16s
Removed useless printline (#427) Deploy Lean Documentation to Pages #105: Commit 6b6d3fa pushed by aaronjeline
August 28, 2024 14:48 2m 15s main
main
August 28, 2024 14:48 2m 15s
update for cedar#1147 (#425) Deploy Lean Documentation to Pages #104: Commit b5b5681 pushed by cdisselkoen
August 26, 2024 19:14 2m 24s main
main
August 26, 2024 19:14 2m 24s
adjust property test in json-schema-roundtrip (#424) Deploy Lean Documentation to Pages #103: Commit b52d1c8 pushed by cdisselkoen
August 26, 2024 15:38 22m 8s main
main
August 26, 2024 15:38 22m 8s
update to Lean 4.10 (#423) Deploy Lean Documentation to Pages #102: Commit 43f7e5c pushed by cdisselkoen
August 22, 2024 15:58 2m 14s main
main
August 22, 2024 15:58 2m 14s
update to Lean 4.9 (#421) Deploy Lean Documentation to Pages #101: Commit e3febe2 pushed by cdisselkoen
August 22, 2024 15:45 4m 8s main
main
August 22, 2024 15:45 4m 8s
fix DRT (#422) Deploy Lean Documentation to Pages #100: Commit e6a3dbf pushed by cdisselkoen
August 22, 2024 15:43 3m 36s main
main
August 22, 2024 15:43 3m 36s
update for cedar#1136 (#420) Deploy Lean Documentation to Pages #99: Commit 4591a45 pushed by cdisselkoen
August 21, 2024 18:34 3m 44s main
main
August 21, 2024 18:34 3m 44s
Fix an error (#417) Deploy Lean Documentation to Pages #98: Commit 8bfa7dc pushed by shaobo-he-aws
August 14, 2024 15:07 3m 36s main
main
August 14, 2024 15:07 3m 36s
Entity and Request Validation (#399) Deploy Lean Documentation to Pages #97: Commit 8e2a2ae pushed by khieta
August 12, 2024 18:30 3m 48s main
main
August 12, 2024 18:30 3m 48s
update for cedar#1115 (#413) Deploy Lean Documentation to Pages #96: Commit d77fe85 pushed by cdisselkoen
August 7, 2024 17:52 3m 35s main
main
August 7, 2024 17:52 3m 35s
Changes needed by cedar-policy/cedar#1114 (#412) Deploy Lean Documentation to Pages #95: Commit 30d38aa pushed by shaobo-he-aws
August 6, 2024 20:51 3m 46s main
main
August 6, 2024 20:51 3m 46s
Proper equivalence for schema types (#411) Deploy Lean Documentation to Pages #94: Commit da84cf1 pushed by aaronjeline
August 6, 2024 14:09 3m 37s main
main
August 6, 2024 14:09 3m 37s
Adjusts targets to expect either templates or policies (#410) Deploy Lean Documentation to Pages #93: Commit 68d9177 pushed by aaronjeline
August 5, 2024 16:24 3m 35s main
main
August 5, 2024 16:24 3m 35s
update for cedar#1111 (#409) Deploy Lean Documentation to Pages #92: Commit 4f551a5 pushed by cdisselkoen
August 5, 2024 15:34 3m 32s main
main
August 5, 2024 15:34 3m 32s
fix ci (#408) Deploy Lean Documentation to Pages #91: Commit 13f012d pushed by khieta
August 5, 2024 13:19 3m 51s main
main
August 5, 2024 13:19 3m 51s
fix for cedar#1095 (#407) Deploy Lean Documentation to Pages #90: Commit 1a87e73 pushed by khieta
August 2, 2024 19:13 3m 38s main
main
August 2, 2024 19:13 3m 38s
Store Extensions as ref in HierarchyGenerator (#401) Deploy Lean Documentation to Pages #89: Commit 7d734b0 pushed by john-h-kastner-aws
August 2, 2024 15:35 3m 42s main
main
August 2, 2024 15:35 3m 42s
update for cedar#1060 (#403) Deploy Lean Documentation to Pages #88: Commit 1cc1263 pushed by cdisselkoen
August 2, 2024 14:15 3m 41s main
main
August 2, 2024 14:15 3m 41s
Fix Lean CLI JSON samples and add test to CI (#405) Deploy Lean Documentation to Pages #87: Commit 9779f0e pushed by john-h-kastner-aws
August 1, 2024 13:38 3m 53s main
main
August 1, 2024 13:38 3m 53s
Pin batteries to 4.8.0 (#398) Deploy Lean Documentation to Pages #86: Commit 8dea6b4 pushed by aaronjeline
July 30, 2024 18:46 3m 51s main
main
July 30, 2024 18:46 3m 51s
Moving some things around in Cedar/Thm/Partial (#397) Deploy Lean Documentation to Pages #85: Commit b83d161 pushed by cdisselkoen
July 24, 2024 12:31 3m 36s main
main
July 24, 2024 12:31 3m 36s