Skip to content

Actions: doomhammerhell/bitcoin-quantum-safe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 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
feat(po5): strengthen transition source and runtime refinement evidence CI #11: Commit c200656 pushed by doomhammerhell
4m 38s main
main
4m 38s
feat(po5): strengthen transition source and runtime refinement evidence PO-4/PO-5/PO-8 Verification - Coq Extraction vs Rust #8: Commit c200656 pushed by doomhammerhell
6m 44s main
main
6m 44s
feat(po5): add Coq-to-Rust UTXO transition refinement CI #10: Commit c53dee5 pushed by doomhammerhell
4m 51s main
main
4m 51s
feat(po5): add Coq-to-Rust UTXO transition refinement PO-4/PO-5/PO-8 Verification - Coq Extraction vs Rust #7: Commit c53dee5 pushed by doomhammerhell
7m 6s main
main
7m 6s
feat(po4): add sighash transcript refinement validation CI #9: Commit 58057f8 pushed by doomhammerhell
3m 25s main
main
3m 25s
feat(po4): add sighash transcript refinement validation PO-4/PO-5/PO-8 Verification - Coq Extraction vs Rust #6: Commit 58057f8 pushed by doomhammerhell
6m 9s main
main
6m 9s
feat(po8): add source and compiled refinement validation PO-4/PO-5/PO-8 Verification - Coq Extraction vs Rust #5: Commit c1db18f pushed by doomhammerhell
6m 47s main
main
6m 47s
feat(po8): add source and compiled refinement validation CI #8: Commit c1db18f pushed by doomhammerhell
4m 42s main
main
4m 42s
fix: opam exec -- bash ./build_extraction.sh PO-4/PO-5/PO-8 Verification - Coq Extraction vs Rust #4: Commit 109620d pushed by doomhammerhell
5m 20s main
main
5m 20s
fix: opam exec -- bash ./build_extraction.sh CI #7: Commit 109620d pushed by doomhammerhell
4m 39s main
main
4m 39s
fix: pipeline: PO-4/PO-5/PO-8 Verification - Coq Extraction vs Rust #3: Commit 64bb0fc pushed by doomhammerhell
8m 13s main
main
8m 13s
fix: pipeline: CI #6: Commit 64bb0fc pushed by doomhammerhell
7m 39s main
main
7m 39s
fix(ci): Resolve all GitHub Actions failures for Coq 8.18 compatibility PO-4/PO-5/PO-8 Verification - Coq Extraction vs Rust #2: Commit 7e84de2 pushed by doomhammerhell
1m 35s main
main
1m 35s
fix(ci): Resolve all GitHub Actions failures for Coq 8.18 compatibility CI #5: Commit 7e84de2 pushed by doomhammerhell
4m 46s main
main
4m 46s
fix(coq): Complete PO-4 Sighash v2 formalization with Coq 8.18 compat… CI #4: Commit 5b72a3a pushed by doomhammerhell
5m 0s main
main
5m 0s
fix(coq): Complete PO-4 Sighash v2 formalization with Coq 8.18 compat… PO-4/PO-5/PO-8 Verification - Coq Extraction vs Rust #1: Commit 5b72a3a pushed by doomhammerhell
1m 5s main
main
1m 5s
fix: Coq compat with 8.18+, remove target/ from tracking CI #3: Commit 850f6da pushed by doomhammerhell
4m 54s main
main
4m 54s
chore: remove target/ from tracking, add to .gitignore CI #2: Commit d4aaf35 pushed by doomhammerhell
5m 5s main
main
5m 5s
chore: close PO-8 with real varint, run TLC multi-model, prep for review CI #1: Commit 1a419cb pushed by doomhammerhell
5m 24s main
main
5m 24s