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
213 workflow runs
213 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make root dir required for lean more obvious in readme (#474) Deploy Lean Documentation to Pages #138: Commit 093f0b3 pushed by john-h-kastner-aws
November 19, 2024 15:13 4m 19s main
main
November 19, 2024 15:13 4m 19s
[cedar-lean] add some more utility functions (#476) Deploy Lean Documentation to Pages #137: Commit d5c8bee pushed by cdisselkoen
November 18, 2024 20:41 4m 18s main
main
November 18, 2024 20:41 4m 18s
Changes needed to test datetime extension (#470) Deploy Lean Documentation to Pages #136: Commit 441004e pushed by shaobo-he-aws
November 18, 2024 16:44 4m 19s main
main
November 18, 2024 16:44 4m 19s
Test entity manifests (#475) Deploy Lean Documentation to Pages #135: Commit 4786741 pushed by shaobo-he-aws
November 15, 2024 19:23 4m 19s main
main
November 15, 2024 19:23 4m 19s
update to thiserror 2 (#473) Deploy Lean Documentation to Pages #134: Commit d0d8a21 pushed by cdisselkoen
November 11, 2024 15:02 4m 21s main
main
November 11, 2024 15:02 4m 21s
Make DRT compatible to arbitrary 1.4 (#467) Deploy Lean Documentation to Pages #133: Commit a5e8b1e pushed by shaobo-he-aws
November 6, 2024 18:29 4m 13s main
main
November 6, 2024 18:29 4m 13s
Fix to #463 (#466) Deploy Lean Documentation to Pages #132: Commit 4748ff0 pushed by shaobo-he-aws
November 5, 2024 19:07 4m 13s main
main
November 5, 2024 19:07 4m 13s
Fix arbitrary to 1.3.2 (#464) Deploy Lean Documentation to Pages #131: Commit 500e3b2 pushed by shaobo-he-aws
November 5, 2024 18:30 4m 24s main
main
November 5, 2024 18:30 4m 24s
Check equivalence of tags in schemas (#463) Deploy Lean Documentation to Pages #130: Commit 208eb14 pushed by shaobo-he-aws
November 5, 2024 16:07 4m 31s main
main
November 5, 2024 16:07 4m 31s
Fixes convert-schema-json-to-cedar (#458) Deploy Lean Documentation to Pages #129: Commit 4d2519b pushed by john-h-kastner-aws
October 23, 2024 16:04 4m 20s main
main
October 23, 2024 16:04 4m 20s
update to Lean 4.12 (#457) Deploy Lean Documentation to Pages #128: Commit b27cdce pushed by cdisselkoen
October 10, 2024 18:48 4m 14s main
main
October 10, 2024 18:48 4m 14s
fix equivalence checking again (#456) Deploy Lean Documentation to Pages #127: Commit 2a35c46 pushed by cdisselkoen
October 4, 2024 16:40 3m 24s main
main
October 4, 2024 16:40 3m 24s
update for cedar#1260 (#455) Deploy Lean Documentation to Pages #126: Commit 49b94ba pushed by cdisselkoen
October 4, 2024 15:48 3m 13s main
main
October 4, 2024 15:48 3m 13s
bugfix equivalence check (#454) Deploy Lean Documentation to Pages #125: Commit 08b2481 pushed by cdisselkoen
October 2, 2024 15:59 3m 19s main
main
October 2, 2024 15:59 3m 19s
generate schemas containing entity tags (#451) Deploy Lean Documentation to Pages #124: Commit 00329a2 pushed by shaobo-he-aws
October 1, 2024 23:44 6m 6s main
main
October 1, 2024 23:44 6m 6s
generate entity tags in entity data (#450) Deploy Lean Documentation to Pages #123: Commit 0d41ce6 pushed by shaobo-he-aws
October 1, 2024 23:44 22s main
main
October 1, 2024 23:44 22s
generate getTag expressions (#449) Deploy Lean Documentation to Pages #122: Commit fac00de pushed by shaobo-he-aws
October 1, 2024 23:43 3m 28s main
main
October 1, 2024 23:43 3m 28s
Fix build error of tests in fuzz (#453) Deploy Lean Documentation to Pages #121: Commit b73cd29 pushed by shaobo-he-aws
October 1, 2024 23:07 3m 12s main
main
October 1, 2024 23:07 3m 12s
Updates needed for cedar-policy/cedar#1210 (#448) Deploy Lean Documentation to Pages #120: Commit 4b3d8b9 pushed by shaobo-he-aws
October 1, 2024 22:29 3m 28s main
main
October 1, 2024 22:29 3m 28s
generate hasTag expressions (#447) Deploy Lean Documentation to Pages #119: Commit 8ade154 pushed by cdisselkoen
October 1, 2024 17:05 3m 17s main
main
October 1, 2024 17:05 3m 17s
Fix corpus initilize script for target name change (#446) Deploy Lean Documentation to Pages #118: Commit fbbe939 pushed by john-h-kastner-aws
October 1, 2024 16:03 3m 23s main
main
October 1, 2024 16:03 3m 23s
Fail CI on unchecked theorems (#445) Deploy Lean Documentation to Pages #117: Commit 50b1e6e pushed by andrewmwells-amazon
October 1, 2024 00:27 3m 28s main
main
October 1, 2024 00:27 3m 28s
Linter script to check import of top-level proofs (#444) Deploy Lean Documentation to Pages #116: Commit 8847372 pushed by emina
September 27, 2024 15:39 3m 37s main
main
September 27, 2024 15:39 3m 37s
Entity tags (#439) Deploy Lean Documentation to Pages #115: Commit 2e0d9eb pushed by emina
September 25, 2024 17:12 3m 20s main
main
September 25, 2024 17:12 3m 20s
Fix slow units in convert-policy-json-to-cedar (#419) Deploy Lean Documentation to Pages #114: Commit db4dc19 pushed by shaobo-he-aws
September 23, 2024 23:28 5m 26s main
main
September 23, 2024 23:28 5m 26s