Skip to content

Actions: doomhammerhell/bitcoin-quantum-safe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 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
test(ci): audit formal verification workflow coverage CI #24: Commit 544b85e pushed by doomhammerhell
8m 49s main
main
8m 49s
test(ci): audit formal verification workflow coverage PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #20: Commit 544b85e pushed by doomhammerhell
9m 30s main
main
9m 30s
fix(ci): trigger formal verification on shared script changes PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #19: Commit 2c0444f pushed by doomhammerhell
9m 18s main
main
9m 18s
fix(ci): trigger formal verification on shared script changes CI #23: Commit 2c0444f pushed by doomhammerhell
9m 3s main
main
9m 3s
fix(ci): avoid SIGPIPE in verification toolchain helper CI #22: Commit 4d40b4e pushed by doomhammerhell
9m 8s main
main
9m 8s
feat(po6): add transition invariant refinement evidence CI #21: Commit 4169fd5 pushed by doomhammerhell
5m 28s main
main
5m 28s
feat(po6): add transition invariant refinement evidence PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #18: Commit 4169fd5 pushed by doomhammerhell
9m 14s main
main
9m 14s
chore(verification): consolidate refinement scripts under scripts PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #17: Commit a5ed166 pushed by doomhammerhell
11m 23s main
main
11m 23s
chore(verification): consolidate refinement scripts under scripts CI #20: Commit a5ed166 pushed by doomhammerhell
7m 6s main
main
7m 6s
fix(ci): stabilize Coq opam setup on pinned Ubuntu runner PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #16: Commit 6efa329 pushed by doomhammerhell
11m 12s main
main
11m 12s
fix(ci): stabilize Coq opam setup on pinned Ubuntu runner CI #19: Commit 6efa329 pushed by doomhammerhell
9m 16s main
main
9m 16s
feat(pq): add formally checked signature profile boundary PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #15: Commit 8aae239 pushed by doomhammerhell
9m 25s main
main
9m 25s
feat(pq): add formally checked signature profile boundary CI #18: Commit 8aae239 pushed by doomhammerhell
6m 43s main
main
6m 43s
feat(po6): prove structural total-value non-increase CI #17: Commit bc56c75 pushed by doomhammerhell
7m 54s main
main
7m 54s
feat(po6): prove structural total-value non-increase PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #14: Commit bc56c75 pushed by doomhammerhell
9m 30s main
main
9m 30s
feat(po6): add structural UTXO invariant refinement evidence PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #13: Commit c145088 pushed by doomhammerhell
9m 19s main
main
9m 19s
feat(po6): add structural UTXO invariant refinement evidence CI #16: Commit c145088 pushed by doomhammerhell
8m 4s main
main
8m 4s
feat(po5): add structured TransitionKernel refinement witnesses CI #15: Commit f19404f pushed by doomhammerhell
4m 45s main
main
4m 45s
feat(po5): add structured TransitionKernel refinement witnesses PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #12: Commit f19404f pushed by doomhammerhell
7m 10s main
main
7m 10s
feat(po5): split structural transition refinement boundary PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #11: Commit 87e546d pushed by doomhammerhell
10m 45s main
main
10m 45s
feat(po5): split structural transition refinement boundary CI #14: Commit 87e546d pushed by doomhammerhell
7m 51s main
main
7m 51s
feat(po5): add verified block final-state refinement CI #13: Commit 35bf7ba pushed by doomhammerhell
4m 42s main
main
4m 42s
feat(po5): add verified block final-state refinement PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #10: Commit 35bf7ba pushed by doomhammerhell
7m 35s main
main
7m 35s
feat(po5): add txid preimage refinement and UTXO store contract CI #12: Commit 5693c9c pushed by doomhammerhell
4m 49s main
main
4m 49s
feat(po5): add txid preimage refinement and UTXO store contract PO-4/PO-5/PO-6/PO-8 Verification - Coq Extraction vs Rust #9: Commit 5693c9c pushed by doomhammerhell
7m 51s main
main
7m 51s