Skip to content

Actions: orange-dot/ekk-runtime

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Semgrep Semgrep #86: Scheduled
26s main
main
26s
Semgrep Semgrep #85: Scheduled
20s main
main
20s
Semgrep Semgrep #84: Scheduled
23s main
main
23s
Semgrep Semgrep #83: Scheduled
23s main
main
23s
Scheduled CodeQL #17: by github-advanced-security AI
1m 17s main
main
1m 17s
Semgrep Semgrep #82: Scheduled
22s main
main
22s
Semgrep Semgrep #81: Scheduled
28s main
main
28s
Semgrep Semgrep #80: Scheduled
23s main
main
23s
Merge pull request #5 from orange-dot/b2-evaluate-ballot-proof CI #23: Commit be82c3b pushed by orange-dot
12s main
main
12s
Push on main CodeQL #16: by orange-dot
55s main
main
55s
B2 evaluate ballot proof CI #22: Pull request #5 opened by orange-dot
10s b2-evaluate-ballot-proof
b2-evaluate-ballot-proof
10s
B2 evaluate ballot proof Semgrep #79: Pull request #5 opened by orange-dot
24s b2-evaluate-ballot-proof
b2-evaluate-ballot-proof
24s
PR #5 CodeQL #15: by orange-dot
56s refs/pull/5/head
refs/pull/5/head
56s
docs: fix docs<->proofs drift (TLA bounds, TU count, Track A as-built) CI #21: Commit 8ab7f6b pushed by orange-dot
18s b2-evaluate-ballot-proof
b2-evaluate-ballot-proof
18s
docs(l4v): close the "run real l4v parser" item — env provisioned, bu… CI #20: Commit ab4f626 pushed by orange-dot
10s b2-evaluate-ballot-proof
b2-evaluate-ballot-proof
10s
docs(readme): B1/B3 are discharged, align with VERIFICATION_PLAN CI #19: Commit 84a03b7 pushed by orange-dot
18s b2-evaluate-ballot-proof
b2-evaluate-ballot-proof
18s
Merge pull request #4 from orange-dot/b2-evaluate-ballot-proof CI #18: Commit f9e86c0 pushed by orange-dot
12s main
main
12s
Push on main CodeQL #14: by orange-dot
1m 5s main
main
1m 5s
docs: drop braggy tone, rename SEL4_REVIEW -> SYSTEMS_REVIEW Semgrep #78: Pull request #4 opened by orange-dot
27s b2-evaluate-ballot-proof
b2-evaluate-ballot-proof
27s
docs: drop braggy tone, rename SEL4_REVIEW -> SYSTEMS_REVIEW CI #17: Pull request #4 opened by orange-dot
20s b2-evaluate-ballot-proof
b2-evaluate-ballot-proof
20s
PR #4 CodeQL #13: by orange-dot
48s refs/pull/4/head
refs/pull/4/head
48s
docs: drop braggy tone, rename SEL4_REVIEW -> SYSTEMS_REVIEW CI #16: Commit eeb98d6 pushed by orange-dot
42s b2-evaluate-ballot-proof
b2-evaluate-ballot-proof
42s
Merge pull request #3 from orange-dot/b2-evaluate-ballot-proof CI #15: Commit 5c726d8 pushed by orange-dot
20s main
main
20s
Push on main CodeQL #12: by orange-dot
1m 12s main
main
1m 12s
Prove B1 and B3, and make the TLA+ model terminate Semgrep #77: Pull request #3 opened by orange-dot
23s b2-evaluate-ballot-proof
b2-evaluate-ballot-proof
23s