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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use Lean modules in more files (#912) Deploy Lean Documentation to Pages #485: Commit ddcec57 pushed by cdisselkoen
14m 36s main
main
14m 36s
check in (some) recommended vscode settings (#910) Deploy Lean Documentation to Pages #484: Commit 4720ffd pushed by cdisselkoen
13m 50s main
main
13m 50s
symcc: refactor a couple more places to rely on higher level primitiv… Deploy Lean Documentation to Pages #483: Commit 74dd175 pushed by cdisselkoen
13m 47s main
main
13m 47s
Generate context variable for type-directed targets (#908) Deploy Lean Documentation to Pages #482: Commit 9e92064 pushed by john-h-kastner-aws
15m 30s main
main
15m 30s
Fix for change to ip addr terms (#907) Deploy Lean Documentation to Pages #481: Commit 81a551a pushed by john-h-kastner-aws
14m 10s main
main
14m 10s
use module system in Decoder.lean and Encoder.lean (#906) Deploy Lean Documentation to Pages #480: Commit 2bb9dda pushed by cdisselkoen
14m 20s main
main
14m 20s
more use of Lean module system (#905) Deploy Lean Documentation to Pages #479: Commit 7264e73 pushed by cdisselkoen
14m 10s main
main
14m 10s
Bump the github-actions group with 2 updates (#904) Deploy Lean Documentation to Pages #478: Commit 8a855e9 pushed by cdisselkoen
14m 12s main
main
14m 12s
Cleanup TPE helper lemmas (#900) Deploy Lean Documentation to Pages #477: Commit d2c9761 pushed by john-h-kastner-aws
14m 47s main
main
14m 47s
Add some simple lemmas for well-typed residual values (#903) Deploy Lean Documentation to Pages #476: Commit 0e477a4 pushed by john-h-kastner-aws
14m 11s main
main
14m 11s
switch to higher-level functions in a few places (#901) Deploy Lean Documentation to Pages #475: Commit aa311f7 pushed by cdisselkoen
26m 27s main
main
26m 27s
Move some complicated proof for tags/attrs into lemmas (#902) Deploy Lean Documentation to Pages #474: Commit 7612a6d pushed by john-h-kastner-aws
14m 0s main
main
14m 0s
cleaning pass over Thm/Data/Set.lean (#899) Deploy Lean Documentation to Pages #473: Commit c94f828 pushed by cdisselkoen
14m 13s main
main
14m 13s
Split TPE proofs into seperate files per expression kind (#898) Deploy Lean Documentation to Pages #472: Commit 9c735b9 pushed by john-h-kastner-aws
14m 23s main
main
14m 23s
modules in Cedar.SymCC and Cedar.Thm.SymCC.Data (#895) Deploy Lean Documentation to Pages #471: Commit 1596c6c pushed by cdisselkoen
23m 56s main
main
23m 56s
Simplifications to partial_eval_preserves_typeof (#896) Deploy Lean Documentation to Pages #470: Commit 4134dc2 pushed by john-h-kastner-aws
23m 37s main
main
23m 37s
Small simplification to type_is_inhabited theorem (#894) Deploy Lean Documentation to Pages #469: Commit 557486e pushed by john-h-kastner-aws
13m 54s main
main
13m 54s
update for cedar#2193 (#893) Deploy Lean Documentation to Pages #468: Commit 3b95282 pushed by cdisselkoen
14m 17s main
main
14m 17s
move some things around (#892) Deploy Lean Documentation to Pages #467: Commit f616774 pushed by cdisselkoen
14m 13s main
main
14m 13s
update for cedar#2190 (#891) Deploy Lean Documentation to Pages #466: Commit 6258419 pushed by cdisselkoen
14m 2s main
main
14m 2s
Rename bvumod to bvurem, matching the smt-lib function (#890) Deploy Lean Documentation to Pages #465: Commit c899133 pushed by john-h-kastner-aws
16m 46s main
main
16m 46s
Update for change in ownership on protobuf decoding (#888) Deploy Lean Documentation to Pages #464: Commit e6c6b38 pushed by john-h-kastner-aws
13m 38s main
main
13m 38s
use mapOnValues2 another place ; simplifies proofs (#889) Deploy Lean Documentation to Pages #463: Commit 6b2d7f3 pushed by cdisselkoen
13m 40s main
main
13m 40s
use Lean module system in Cedar.Spec and Cedar.Validation (#887) Deploy Lean Documentation to Pages #462: Commit 20b6753 pushed by cdisselkoen
56m 19s main
main
56m 19s
Refactor RecordType.liftBoolTypes to use helper mapOnValues2 (#886) Deploy Lean Documentation to Pages #461: Commit 9fb18c6 pushed by cdisselkoen
14m 30s main
main
14m 30s