Skip to content

Actions: cedar-policy/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,064 workflow runs
2,064 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #900 CodeQL #591: by john-h-kastner-aws
1m 15s refs/pull/900/head
refs/pull/900/head
1m 15s
Cleanup TPE helper lemmas Build and Test cedar-spec #2345: Pull request #900 opened by john-h-kastner-aws
12m 7s tpe-proof-tweaks
tpe-proof-tweaks
12m 7s
PR #900 CodeQL #590: by john-h-kastner-aws
50s refs/pull/900/head
refs/pull/900/head
50s
cleaning pass over Thm/Data/Set.lean Build and Test cedar-spec #2344: Pull request #899 opened by cdisselkoen
23m 13s cdisselkoen/set-thms
cdisselkoen/set-thms
23m 13s
PR #899 CodeQL #589: by cdisselkoen
54s refs/pull/899/head
refs/pull/899/head
54s
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
Push on main CodeQL #588: by john-h-kastner-aws
51s main
main
51s
Scheduled CodeQL #587: by github-advanced-security bot
46s main
main
46s
Split TPE proofs into seperate files per expression kind Build and Test cedar-spec #2343: Pull request #898 synchronize by john-h-kastner-aws
24m 20s split-tpe-proofs
split-tpe-proofs
24m 20s
PR #898 CodeQL #586: by john-h-kastner-aws
53s refs/pull/898/head
refs/pull/898/head
53s
Split TPE proofs into seperate files per expression kind Build and Test cedar-spec #2342: Pull request #898 opened by john-h-kastner-aws
23m 8s split-tpe-proofs
split-tpe-proofs
23m 8s
PR #898 CodeQL #585: by john-h-kastner-aws
47s refs/pull/898/head
refs/pull/898/head
47s
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
Push on main CodeQL #584: by cdisselkoen
8m 16s main
main
8m 16s
Push on release/4.9.x CodeQL #583: by katherine-hough
37m 0s release/4.9.x
release/4.9.x
37m 0s
Rename bvumod to bvurem, matching the smt-lib function (#890) Build and Test cedar-spec #2341: Pull request #897 synchronize by katherine-hough
27m 6s katherine-hough:patch
katherine-hough:patch
27m 6s
Rename bvumod to bvurem, matching the smt-lib function (#890) Build and Test cedar-spec #2340: Pull request #897 opened by katherine-hough
17m 43s katherine-hough:patch
katherine-hough:patch
17m 43s
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
Push on main CodeQL #582: by john-h-kastner-aws
10m 6s main
main
10m 6s
Simplifications to partial_eval_preserves_typeof Build and Test cedar-spec #2339: Pull request #896 synchronize by john-h-kastner-aws
29m 52s pe-preserves-type-of
pe-preserves-type-of
29m 52s
PR #896 CodeQL #581: by john-h-kastner-aws
4m 10s refs/pull/896/head
refs/pull/896/head
4m 10s
Copilot code review Copilot code review #6: by Copilot AI
6m 1s refs/pull/896/head
refs/pull/896/head
6m 1s
Simplifications to partial_eval_preserves_typeof Build and Test cedar-spec #2338: Pull request #896 opened by john-h-kastner-aws
24m 3s pe-preserves-type-of
pe-preserves-type-of
24m 3s
PR #896 CodeQL #580: by john-h-kastner-aws
45s refs/pull/896/head
refs/pull/896/head
45s
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