Skip to content

Actions: cedar-policy/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,621 workflow runs
1,621 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add proofs of the remaining 6 functions in SymCCOpt.lean Build and Test cedar-spec #2167: Pull request #797 opened by cdisselkoen
20m 25s cdisselkoen/check-proofs
cdisselkoen/check-proofs
20m 25s
PR #797 CodeQL #301: by cdisselkoen
46s refs/pull/797/head
refs/pull/797/head
46s
add proofs for implies?, equivalent?, disjoint?, alwaysAllows?, and a… Deploy Lean Documentation to Pages #381: Commit b7698ba pushed by cdisselkoen
12m 30s main
main
12m 30s
Push on main CodeQL #300: by cdisselkoen
49s main
main
49s
add proofs for implies?, equivalent?, disjoint?, alwaysAllows?, and alwaysDenies? Build and Test cedar-spec #2166: Pull request #796 synchronize by cdisselkoen
20m 45s cdisselkoen/implies-equivalent-and-disjoint
cdisselkoen/implies-equivalent-and-disjoint
20m 45s
PR #796 CodeQL #299: by cdisselkoen
53s refs/pull/796/head
refs/pull/796/head
53s
add proofs for implies?, equivalent?, disjoint?, alwaysAllows?, and alwaysDenies? Build and Test cedar-spec #2165: Pull request #796 opened by cdisselkoen
19m 54s cdisselkoen/implies-equivalent-and-disjoint
cdisselkoen/implies-equivalent-and-disjoint
19m 54s
PR #796 CodeQL #298: by cdisselkoen
52s refs/pull/796/head
refs/pull/796/head
52s
Proof for neverErrorsOpt? for the happy path (#793) Deploy Lean Documentation to Pages #380: Commit 9af9455 pushed by cdisselkoen
12m 11s main
main
12m 11s
Push on main CodeQL #297: by cdisselkoen
45s main
main
45s
Proof for neverErrorsOpt? for the happy path Build and Test cedar-spec #2164: Pull request #793 synchronize by cdisselkoen
20m 7s cdisselkoen/never-errors-proofs
cdisselkoen/never-errors-proofs
20m 7s
PR #793 CodeQL #296: by cdisselkoen
49s refs/pull/793/head
refs/pull/793/head
49s
Fix deprecated APIs in cedar-lean-cli (#795) Deploy Lean Documentation to Pages #379: Commit 530e91d pushed by shaobo-he-aws
11m 55s main
main
11m 55s
Push on main CodeQL #295: by shaobo-he-aws
50s main
main
50s
Fix deprecated APIs in cedar-lean-cli Build and Test cedar-spec #2163: Pull request #795 opened by shaobo-he-aws
19m 59s chore/shaobo/fix-deprecated
chore/shaobo/fix-deprecated
19m 59s
PR #795 CodeQL #294: by shaobo-he-aws
54s refs/pull/795/head
refs/pull/795/head
54s
Proof for neverErrorsOpt? for the happy path Build and Test cedar-spec #2162: Pull request #793 synchronize by cdisselkoen
19m 52s cdisselkoen/never-errors-proofs
cdisselkoen/never-errors-proofs
19m 52s
PR #793 CodeQL #293: by cdisselkoen
49s refs/pull/793/head
refs/pull/793/head
49s
Revert Lean test implementation's validation comparison mode Build and Test cedar-spec #2161: Pull request #794 opened by shaobo-he-aws
16m 56s fix-comparison-mode
fix-comparison-mode
16m 56s
PR #794 CodeQL #292: by shaobo-he-aws
47s refs/pull/794/head
refs/pull/794/head
47s
Revert "Bump Lean version to 4.25 (#789)" (#792) Deploy Lean Documentation to Pages #378: Commit b5fc15b pushed by shaobo-he-aws
14m 36s main
main
14m 36s
Push on main CodeQL #291: by shaobo-he-aws
46s main
main
46s
Proof for neverErrorsOpt? for the happy path Build and Test cedar-spec #2160: Pull request #793 opened by cdisselkoen
12m 3s cdisselkoen/never-errors-proofs
cdisselkoen/never-errors-proofs
12m 3s
PR #793 CodeQL #290: by cdisselkoen
50s refs/pull/793/head
refs/pull/793/head
50s
Revert "Bump Lean version to 4.25 (#789)" Build and Test cedar-spec #2159: Pull request #792 opened by shaobo-he-aws
19m 35s revert-lean-4.25
revert-lean-4.25
19m 35s