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

Fix schema type conversion for extension types (#570) Deploy Lean Documentation to Pages #213: Commit c5e8ad2 pushed by adpaco-aws
March 7, 2025 14:12 4m 25s main
main
March 7, 2025 14:12 4m 25s
TPE Lean model (#548) Deploy Lean Documentation to Pages #212: Commit a33231a pushed by shaobo-he-aws
March 6, 2025 15:22 4m 31s main
main
March 6, 2025 15:22 4m 31s
Cases for datetime types in extExprToValue (#568) Deploy Lean Documentation to Pages #211: Commit 582a8cb pushed by adpaco-aws
March 5, 2025 16:48 4m 28s main
main
March 5, 2025 16:48 4m 28s
Add types and methods from datetime extension to parsers (#565) Deploy Lean Documentation to Pages #210: Commit ee3715f pushed by adpaco-aws
March 4, 2025 21:05 4m 35s main
main
March 4, 2025 21:05 4m 35s
[lean] remove JSON deserializer for internal JSON format (#567) Deploy Lean Documentation to Pages #209: Commit 183be85 pushed by cdisselkoen
March 4, 2025 21:01 4m 19s main
main
March 4, 2025 21:01 4m 19s
remove partial-auth and partial-eval DRT targets (#566) Deploy Lean Documentation to Pages #208: Commit 71e13dc pushed by cdisselkoen
March 4, 2025 20:20 5m 12s main
main
March 4, 2025 20:20 5m 12s
use Protobuf for additional DRT targets (#562) Deploy Lean Documentation to Pages #207: Commit 434f09f pushed by cdisselkoen
March 4, 2025 14:04 4m 31s main
main
March 4, 2025 14:04 4m 31s
Fix usage of deprecated theorems (#564) Deploy Lean Documentation to Pages #206: Commit 9236b32 pushed by shaobo-he-aws
March 3, 2025 17:31 4m 33s main
main
March 3, 2025 17:31 4m 33s
upgrade to Lean 4.17 (#563) Deploy Lean Documentation to Pages #205: Commit 283ad8c pushed by cdisselkoen
March 3, 2025 15:57 6m 9s main
main
March 3, 2025 15:57 6m 9s
Enable datetime generation (#560) Deploy Lean Documentation to Pages #204: Commit 7483417 pushed by shaobo-he-aws
March 3, 2025 15:54 4m 9s main
main
March 3, 2025 15:54 4m 9s
Lean: Update models with the datetime extension (#558) Deploy Lean Documentation to Pages #203: Commit 83b1c3e pushed by adpaco-aws
February 28, 2025 23:25 3m 59s main
main
February 28, 2025 23:25 3m 59s
apply #555 to all of CedarProto (#559) Deploy Lean Documentation to Pages #202: Commit 0c4188f pushed by cdisselkoen
February 28, 2025 21:49 3m 47s main
main
February 28, 2025 21:49 3m 47s
refactor out some panics in CedarProto (#557) Deploy Lean Documentation to Pages #201: Commit e2dafd3 pushed by cdisselkoen
February 28, 2025 20:30 4m 21s main
main
February 28, 2025 20:30 4m 21s
rely on impls more (#556) Deploy Lean Documentation to Pages #200: Commit e60af35 pushed by cdisselkoen
February 27, 2025 21:18 3m 42s main
main
February 27, 2025 21:18 3m 42s
more elegant Protobuf.Message impl (#555) Deploy Lean Documentation to Pages #199: Commit ae0f6b3 pushed by cdisselkoen
February 27, 2025 20:21 3m 55s main
main
February 27, 2025 20:21 3m 55s
update for cedar#1506 (#554) Deploy Lean Documentation to Pages #198: Commit 426bb2f pushed by cdisselkoen
February 26, 2025 21:53 3m 52s main
main
February 26, 2025 21:53 3m 52s
update for 1495 (#553) Deploy Lean Documentation to Pages #197: Commit fb56dea pushed by cdisselkoen
February 26, 2025 21:23 3m 38s main
main
February 26, 2025 21:23 3m 38s
remove a redundant argument (#552) Deploy Lean Documentation to Pages #196: Commit 7f3e72a pushed by shaobo-he-aws
February 26, 2025 18:20 3m 37s main
main
February 26, 2025 18:20 3m 37s
generate protodatas for unit tests using cedar-policy interface (#551) Deploy Lean Documentation to Pages #195: Commit 9c12a80 pushed by cdisselkoen
February 26, 2025 16:51 3m 44s main
main
February 26, 2025 16:51 3m 44s
update for cedar#1488 (#550) Deploy Lean Documentation to Pages #194: Commit bd2004c pushed by adpaco-aws
February 25, 2025 21:59 3m 41s main
main
February 25, 2025 21:59 3m 41s
Split soundness proof for binaryApp into multiple files (#549) Deploy Lean Documentation to Pages #193: Commit 5b332a5 pushed by john-h-kastner-aws
February 24, 2025 18:23 3m 45s main
main
February 24, 2025 18:23 3m 45s
Update entity JSON parsing for changes to entity struct (#544) Deploy Lean Documentation to Pages #192: Commit d60ba77 pushed by john-h-kastner-aws
February 17, 2025 18:47 3m 27s main
main
February 17, 2025 18:47 3m 27s
Add more datastructure lemmas and Cedar.Slice (#541) Deploy Lean Documentation to Pages #191: Commit 77e44e8 pushed by emina
February 14, 2025 22:26 3m 39s main
main
February 14, 2025 22:26 3m 39s
[Lean] rename some definitions, and associated tweaks (#540) Deploy Lean Documentation to Pages #190: Commit 91ac1f1 pushed by emina
February 14, 2025 20:27 3m 39s main
main
February 14, 2025 20:27 3m 39s
Updates to fuzzer to fix changes from entity_removal feature in cedar… Deploy Lean Documentation to Pages #189: Commit 7b370a1 pushed by chaluli
February 13, 2025 21:20 3m 23s main
main
February 13, 2025 21:20 3m 23s