Skip to content

Actions: EthereumPhone/PQ1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,036 workflow runs
1,036 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
chore(fw): wire make miri shared tree-borrows pass + work-todo §34 … CI #87: Commit cfbd43f pushed by Nicola-Ceornea
4m 8s master
master
4m 8s
verify(fw): Kani canonical-acceptance proof of the Safe multiSend dec… CI #86: Commit 98f153e pushed by Nicola-Ceornea
3m 50s master
master
3m 50s
verify(fw): Kani canonical-acceptance proof of the Safe multiSend dec… Lean FV (extracted §33 Aeneas) #12: Commit 98f153e pushed by Nicola-Ceornea
1m 55s master
master
1m 55s
verify(fw): Kani canonical-acceptance proof of the Safe multiSend dec… A3.1 transcription lint #8: Commit 98f153e pushed by Nicola-Ceornea
17s master
master
17s
verify(fw): Kani canonical-acceptance proof of the Safe multiSend dec… Lean FV (SphincsCVerify) #25: Commit 98f153e pushed by Nicola-Ceornea
46s master
master
46s
proof(fv): anti-vacuity gates (proof-mutation + ledger-consistency) +… A3.1 transcription lint #7: Commit d0a40f8 pushed by Nicola-Ceornea
17s master
master
17s
proof(fv): anti-vacuity gates (proof-mutation + ledger-consistency) +… Lean FV (SphincsCVerify) #24: Commit d0a40f8 pushed by Nicola-Ceornea
44s master
master
44s
proof(fv): anti-vacuity gates (proof-mutation + ledger-consistency) +… Lean FV (extracted §33 Aeneas) #11: Commit d0a40f8 pushed by Nicola-Ceornea
2m 14s master
master
2m 14s
proof(fv): EF-#15 — decompose the execute calldata-binding (residual … Lean FV (SphincsCVerify) #23: Commit e6124fd pushed by Nicola-Ceornea
1m 4s master
master
1m 4s
proof(fv): Charon/Aeneas extraction differential gate (roadmap T1.3 /… A3.1 transcription lint #6: Commit 173e3c8 pushed by Nicola-Ceornea
18s master
master
18s
proof(fv): Charon/Aeneas extraction differential gate (roadmap T1.3 /… CI #85: Commit 173e3c8 pushed by Nicola-Ceornea
4m 2s master
master
4m 2s
proof(fv): Charon/Aeneas extraction differential gate (roadmap T1.3 /… Lean FV (extracted §33 Aeneas) #10: Commit 173e3c8 pushed by Nicola-Ceornea
3m 11s master
master
3m 11s
proof(fv): Charon/Aeneas extraction differential gate (roadmap T1.3 /… Lean FV (SphincsCVerify) #22: Commit 173e3c8 pushed by Nicola-Ceornea
42s master
master
42s
chore(supply-chain): bump anyhow cargo-vet exemption 1.0.102 -> 1.0.103 CI #84: Commit 8019db1 pushed by markusbug
4m 6s master
master
4m 6s
deps: bump anyhow 1.0.102 -> 1.0.103 (RUSTSEC-2026-0190) CI #83: Commit a71c67a pushed by markusbug
4m 5s master
master
4m 5s
secure(erc7730): decline-to-blind on FormatOp::Encrypted (WYSIWYS sig… CI #82: Commit 4dac820 pushed by markusbug
4m 10s master
master
4m 10s
proof(fv): FW-update supply-chain integrity — domain-sep + authorizes… Lean FV (extracted §33 Aeneas) #9: Commit 4018628 pushed by Nicola-Ceornea
5m 50s master
master
5m 50s
proof(fv): FW-update supply-chain integrity — domain-sep + authorizes… Lean FV (SphincsCVerify) #21: Commit 4018628 pushed by Nicola-Ceornea
1m 8s master
master
1m 8s
proof(fv): FW-update supply-chain integrity — domain-sep + authorizes… CI #81: Commit 4018628 pushed by Nicola-Ceornea
3m 59s master
master
3m 59s
fix(optiga): self-heal PRL 08 40 wedge in check_provisioned (no spu… CI #80: Commit 133e57f pushed by markusbug
4m 10s master
master
4m 10s
verification(§4): record honest_consistent scope + track its axioms Lean FV (SphincsCVerify) #20: Commit 4d3ac7d pushed by Nicola-Ceornea
56s master
master
56s
verification(§4): prove honest_consistent — verify_signs completeness… Lean FV (SphincsCVerify) #19: Commit bd7991b pushed by Nicola-Ceornea
1m 5s master
master
1m 5s
verification(§4): complete the reference signer (increment 2b) Lean FV (SphincsCVerify) #18: Commit b75e5a4 pushed by Nicola-Ceornea
53s master
master
53s
verification(§4): hoist honest tree defs to Spec.Treehash (increment 2a) Lean FV (SphincsCVerify) #17: Commit d1337ec pushed by Nicola-Ceornea
49s master
master
49s
verification(§4): prove grind postconditions — assembly increment 1/3 Lean FV (SphincsCVerify) #16: Commit eb1b6ab pushed by Nicola-Ceornea
1m 8s master
master
1m 8s
ProTip! You can narrow down the results and go further in time using created:<2026-06-29 or the other filters available.