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

Follow up of #331 (#339) Deploy Lean Documentation to Pages #38: Commit 15031a8 pushed by shaobo-he-aws
May 24, 2024 18:40 4m 1s main
main
May 24, 2024 18:40 4m 1s
A few more List lemmas. (#337) Deploy Lean Documentation to Pages #37: Commit 9d8dfab pushed by emina
May 24, 2024 17:57 4m 0s main
main
May 24, 2024 17:57 4m 0s
Adding stups for PE/PA trait methods (#338) Deploy Lean Documentation to Pages #36: Commit f6fa188 pushed by aaronjeline
May 24, 2024 17:53 3m 53s main
main
May 24, 2024 17:53 3m 53s
combine the And and Or cases of the concrete-equivalence proof (#336) Deploy Lean Documentation to Pages #35: Commit 2165898 pushed by cdisselkoen
May 24, 2024 17:01 4m 4s main
main
May 24, 2024 17:01 4m 4s
split Thm/Partial/Evaluation/Basic into Thm/Partial/Evaluation/Props … Deploy Lean Documentation to Pages #34: Commit 35f8637 pushed by cdisselkoen
May 24, 2024 16:45 3m 57s main
main
May 24, 2024 16:45 3m 57s
Revise model and proofs for the IPAddr extension. (#332) Deploy Lean Documentation to Pages #33: Commit b6210a0 pushed by emina
May 24, 2024 16:40 3m 54s main
main
May 24, 2024 16:40 3m 54s
Revise schema equivalence checks (#331) Deploy Lean Documentation to Pages #32: Commit 5deb206 pushed by shaobo-he-aws
May 23, 2024 21:31 3m 54s main
main
May 23, 2024 21:31 3m 54s
Proof that subst preserves evaluation to value (#329) Deploy Lean Documentation to Pages #31: Commit 80ce0f0 pushed by cdisselkoen
May 23, 2024 18:22 3m 51s main
main
May 23, 2024 18:22 3m 51s
Nicer failure messages for new targets (#328) Deploy Lean Documentation to Pages #30: Commit 2c23cef pushed by john-h-kastner-aws
May 21, 2024 17:42 4m 25s main
main
May 21, 2024 17:42 4m 25s
Add fuzz targets using arbitrary strings (#326) Deploy Lean Documentation to Pages #29: Commit 163f3ce pushed by john-h-kastner-aws
May 20, 2024 20:27 4m 6s main
main
May 20, 2024 20:27 4m 6s
Define the subst and reEvaluateWithSubst operations (#325) Deploy Lean Documentation to Pages #28: Commit 3d9c5bf pushed by cdisselkoen
May 20, 2024 18:10 4m 5s main
main
May 20, 2024 18:10 4m 5s
PartialOnConcrete proof for the rest of the Partial.Response (#324) Deploy Lean Documentation to Pages #27: Commit 75821a5 pushed by cdisselkoen
May 17, 2024 20:03 3m 57s main
main
May 17, 2024 20:03 3m 57s
update for cedar#860 (#327) Deploy Lean Documentation to Pages #26: Commit 5c59180 pushed by cdisselkoen
May 17, 2024 13:33 3m 54s main
main
May 17, 2024 13:33 3m 54s
Refactor Cedar.Thm.Data.List into Basic, Canonical, and Lemmas. (#321) Deploy Lean Documentation to Pages #25: Commit d3e8d1d pushed by emina
May 15, 2024 16:57 4m 2s main
main
May 15, 2024 16:57 4m 2s
First proof about the partial authorizer (#320) Deploy Lean Documentation to Pages #24: Commit e21eb22 pushed by cdisselkoen
May 15, 2024 16:48 4m 4s main
main
May 15, 2024 16:48 4m 4s
Git ignore cloned cedar repository (#322) Deploy Lean Documentation to Pages #23: Commit 1cb066d pushed by john-h-kastner-aws
May 15, 2024 14:58 3m 47s main
main
May 15, 2024 14:58 3m 47s
Assert that comments are not reordered by formatter (#318) Deploy Lean Documentation to Pages #22: Commit 5a6a0ca pushed by john-h-kastner-aws
May 13, 2024 16:20 3m 50s main
main
May 13, 2024 16:20 3m 50s
More datastructure lemmas. (#313) Deploy Lean Documentation to Pages #21: Commit dddc749 pushed by emina
May 10, 2024 16:39 3m 48s main
main
May 10, 2024 16:39 3m 48s
remove unneeded dependency (#315) Deploy Lean Documentation to Pages #20: Commit c57de09 pushed by khieta
May 10, 2024 16:00 3m 45s main
main
May 10, 2024 16:00 3m 45s
Add a target to PBT common type resolution (#306) Deploy Lean Documentation to Pages #19: Commit c2a99e6 pushed by shaobo-he-aws
May 9, 2024 15:34 3m 51s main
main
May 9, 2024 15:34 3m 51s
Proof that PE on concrete inputs is equivalent to concrete eval (#291) Deploy Lean Documentation to Pages #18: Commit b0310bb pushed by cdisselkoen
May 8, 2024 20:40 3m 42s main
main
May 8, 2024 20:40 3m 42s
update for cedar#846 (#309) Deploy Lean Documentation to Pages #17: Commit 7369309 pushed by cdisselkoen
May 8, 2024 18:54 3m 28s main
main
May 8, 2024 18:54 3m 28s
Deploy Lean Documentation to Pages Deploy Lean Documentation to Pages #16: Manually run by john-h-kastner-aws
May 8, 2024 15:29 4m 15s main
main
May 8, 2024 15:29 4m 15s
Fixups for 828 (#307) Deploy Lean Documentation to Pages #15: Commit 0694a62 pushed by aaronjeline
May 3, 2024 18:47 3m 32s main
main
May 3, 2024 18:47 3m 32s
more data structure lemmas (#305) Deploy Lean Documentation to Pages #14: Commit 1ddb50d pushed by cdisselkoen
May 3, 2024 18:42 3m 29s main
main
May 3, 2024 18:42 3m 29s