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

Tweak build scripts to hopefully avoid commmon confusion (#301) Deploy Lean Documentation to Pages #9: Commit dc9854f pushed by john-h-kastner-aws
May 1, 2024 18:01 3m 44s main
main
May 1, 2024 18:01 3m 44s
Update EntityUID constructor for cedar-policy/cedar#802 (#300) Deploy Lean Documentation to Pages #8: Commit 4078f71 pushed by john-h-kastner-aws
May 1, 2024 13:46 3m 32s main
main
May 1, 2024 13:46 3m 32s
Add more data structure lemmas. (#297) Deploy Lean Documentation to Pages #7: Commit 0367cd8 pushed by cdisselkoen
April 30, 2024 15:29 3m 43s main
main
April 30, 2024 15:29 3m 43s
add links to docs (#294) Deploy Lean Documentation to Pages #6: Commit 2c30095 pushed by khieta
April 26, 2024 13:17 3m 40s main
main
April 26, 2024 13:17 3m 40s
Updating to match new PE api (#295) Deploy Lean Documentation to Pages #5: Commit 23a46fd pushed by aaronjeline
April 25, 2024 20:02 3m 42s main
main
April 25, 2024 20:02 3m 42s
Fix docs deployment (#293) Deploy Lean Documentation to Pages #4: Commit 0cd7497 pushed by khieta
April 25, 2024 17:17 4m 4s main
main
April 25, 2024 17:17 4m 4s
Deploy Lean Documentation to Pages Deploy Lean Documentation to Pages #3: Manually run by khieta
April 25, 2024 17:02 3m 52s khieta/fix-docs
khieta/fix-docs
April 25, 2024 17:02 3m 52s
Deploy Lean Documentation to Pages Deploy Lean Documentation to Pages #2: Manually run by khieta
April 25, 2024 16:10 51m 3s khieta/fix-docs
khieta/fix-docs
April 25, 2024 16:10 51m 3s
add CI to autogenerate docs (#292) Deploy Lean Documentation to Pages #1: Commit 24e6d8d pushed by khieta
April 25, 2024 15:55 3m 10s main
main
April 25, 2024 15:55 3m 10s