Skip to content

Actions: NyxFoundation/speca-lean4-plugin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 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
Merge PR #24: EthVuln placement and review fixes ci #97: Commit 216e60a pushed by grandchildrice
6m 3s main
main
6m 3s
feat(ethvuln): add ethereum-vuln-dataset track c-1 formalization — 66 statements, proofs deferred (speca#146) ci #96: Pull request #24 synchronize by grandchildrice
7m 19s ethvuln-c1-placement
ethvuln-c1-placement
7m 19s
feat(ethvuln): add ethereum-vuln-dataset track c-1 formalization — 66 statements, proofs deferred (speca#146) ci #95: Pull request #24 synchronize by banr1
7m 24s ethvuln-c1-placement
ethvuln-c1-placement
7m 24s
feat(ethvuln): add ethereum-vuln-dataset track c-1 formalization — 66 statements, proofs deferred (speca#146) ci #94: Pull request #24 synchronize by banr1
6m 34s ethvuln-c1-placement
ethvuln-c1-placement
6m 34s
feat(ethvuln): add ethereum-vuln-dataset track c-1 formalization — 66 statements, proofs deferred (speca#146) ci #93: Pull request #24 synchronize by banr1
15m 35s ethvuln-c1-placement
ethvuln-c1-placement
15m 35s
feat(ethvuln): add ethereum-vuln-dataset track c-1 formalization — 66 statements, proofs deferred (speca#146) ci #92: Pull request #24 synchronize by banr1
17m 29s ethvuln-c1-placement
ethvuln-c1-placement
17m 29s
feat(ethvuln): add ethereum-vuln-dataset track c-1 formalization — 66 statements, proofs deferred (speca#146) ci #91: Pull request #24 synchronize by banr1
6m 54s ethvuln-c1-placement
ethvuln-c1-placement
6m 54s
Keep one canonical latest EthTotal 01e ci #90: Commit 5c0755b pushed by grandchildrice
5m 56s main
main
5m 56s
Improve EthTotal audit properties with proof-aware packets ci #89: Commit 27dc1d8 pushed by grandchildrice
6m 45s main
main
6m 45s
feat(ethvuln): add ethereum-vuln-dataset track c-1 formalization — 66 statements, proofs deferred (speca#146) ci #88: Pull request #24 opened by banr1
6m 41s ethvuln-c1-placement
ethvuln-c1-placement
6m 41s
ci ci #87: by grandchildrice
6m 52s main
main
6m 52s
docs: revise property fidelity remediation plan ci #86: Commit 58ad2ea pushed by grandchildrice
5m 29s main
main
5m 29s
chore(ethtotal): refresh the emitted manifest's plugin_commit ci #85: Commit 30fba0f pushed by grandchildrice
6m 21s main
main
6m 21s
feat(01e): record the anchor provenance in the emitted document ci #84: Commit 1ca3582 pushed by grandchildrice
5m 17s main
main
5m 17s
feat(anchors): anchor the execution-layer labels to ethereum/executio… ci #83: Commit 28ead4b pushed by grandchildrice
6m 46s main
main
6m 46s
feat(ethtotal): generate + self-improve the CHK checklist against eth… ci #82: Commit 714c8f8 pushed by grandchildrice
6m 56s main
main
6m 56s
feat(ethtotal): generate + self-improve the CHK checklist against eth… ci #81: Commit 714c8f8 pushed by grandchildrice
7m 3s feat/ethtotal-track
feat/ethtotal-track
7m 3s
fix(ci): derive checklist counts and apply bounty policy ci #80: Commit 4c03b34 pushed by grandchildrice
5m 33s main
main
5m 33s
el property improved for gasper ci #79: Commit 55f8d95 pushed by grandchildrice
6m 41s main
main
6m 41s
el property generated for gasper ci #78: Commit be1c6e7 pushed by grandchildrice
7m 32s main
main
7m 32s
feat(generate): --cover-all — concretize EVERY critical/high theorem ci #77: Commit 4e86964 pushed by grandchildrice
6m 11s main
main
6m 11s
feat(emit): --concrete-only — audit source = self-improved CHK-* chec… ci #76: Commit f8148e2 pushed by grandchildrice
6m 6s main
main
6m 6s
feat(a/b/c-3): align 01e output filename to speca 01e_PARTIAL_*.json … ci #75: Commit c476222 pushed by grandchildrice
6m 32s main
main
6m 32s
feat(a/b/c-3): emit gasper 01e source to outputs/20260723-gasper/ + d… ci #74: Commit 5bdd3ea pushed by grandchildrice
6m 33s main
main
6m 33s
docs(improve-log): record 2026-07-23 run 2 (severity-aware) ci #73: Commit bdf4712 pushed by grandchildrice
6m 22s main
main
6m 22s