Skip to content

Actions: hyperpolymath/echidna

Actions

Live Provers

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
live-provers.yml
1,137 workflow runs
1,137 workflow runs

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
Claude/fix prover wiring epy ir (#29) Live Provers #37: Commit 74e0504 pushed by hyperpolymath
4m 28s main
main
4m 28s
Claude/fix prover wiring epy ir Live Provers #36: Pull request #29 opened by hyperpolymath
3m 59s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
3m 59s
Live Provers Live Provers #35: Scheduled
2m 9s main
main
2m 9s
feat(corpus): normalize labels, expand 4 TCs, regenerate vocab Live Provers #34: Commit 207716c pushed by hyperpolymath
2m 52s main
main
2m 52s
fix(types): add type_info field to test-only struct literals Live Provers #33: Commit c393921 pushed by hyperpolymath
2m 7s main
main
2m 7s
feat(corpus): expand 10 critically small provers (4→192 avg) Live Provers #32: Commit 77d1ec0 pushed by hyperpolymath
7m 11s main
main
7m 11s
security: remove binary artifact echidna_gui.wasm to resolve scorecar… Live Provers #31: Commit 20153c7 pushed by hyperpolymath
6m 8s main
main
6m 8s
security: update reqwest and lockfiles to resolve rustls-webpki and r… Live Provers #30: Commit a3d1e79 pushed by hyperpolymath
6m 22s main
main
6m 22s
feat(corpus,security): expand Isabelle corpus to 105 entries and reso… Live Provers #29: Commit 082587b pushed by hyperpolymath
3m 26s main
main
3m 26s
Claude/fix prover wiring epy ir (#28) Live Provers #28: Commit aeac6e3 pushed by hyperpolymath
4m 16s main
main
4m 16s
Claude/fix prover wiring epy ir Live Provers #27: Pull request #28 synchronize by hyperpolymath
3m 8s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
3m 8s
feat(types): native type-system decoration layer (#26) Live Provers #26: Commit f12fc15 pushed by hyperpolymath
2m 46s main
main
2m 46s
feat(types): native type-system decoration layer Live Provers #25: Pull request #26 synchronize by hyperpolymath
1m 3s claude/echidna-type-system-Zan8V
claude/echidna-type-system-Zan8V
1m 3s
long path Live Provers #24: Commit e44815a pushed by hyperpolymath
2m 57s main
main
2m 57s
Complete L3 phase: Wave-3 backends and documentation Live Provers #23: Commit 93d4c76 pushed by hyperpolymath
2m 16s main
main
2m 16s
feat(vocab): reaching the absolute limit — 1M tokens from 700K proof … Live Provers #22: Commit d0dabbb pushed by hyperpolymath
4m 14s main
main
4m 14s
feat(vocab): massive expansion from 100K to 250K+ tokens based on 700… Live Provers #21: Commit b055ebb pushed by hyperpolymath
2m 19s main
main
2m 19s
feat(corpus): resolved & expanded training corpus (700K+ proofs) (#25) Live Provers #20: Commit 03ae8ba pushed by hyperpolymath
3m 32s main
main
3m 32s
feat(corpus): resolved & expanded training corpus (700K+ proofs) Live Provers #19: Pull request #25 opened by hyperpolymath
2m 5s claude/expand-vocabulary-corpus-1SFwy
claude/expand-vocabulary-corpus-1SFwy
2m 5s
feat(types): wire backend consumers + fix z3 build + outcome module (… Live Provers #18: Commit e76c949 pushed by hyperpolymath
6m 37s main
main
6m 37s
feat(types): wire backend consumers + fix z3 build + outcome module Live Provers #17: Pull request #24 synchronize by hyperpolymath
7m 23s claude/echidna-type-system-Zan8V
claude/echidna-type-system-Zan8V
7m 23s
Claude/fix prover wiring epy ir (#22) Live Provers #16: Commit 8c46e2b pushed by hyperpolymath
3m 7s main
main
3m 7s
Claude/fix prover wiring epy ir Live Provers #15: Pull request #22 synchronize by hyperpolymath
3m 6s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
3m 6s
Live Provers Live Provers #14: Scheduled
2m 5s main
main
2m 5s
Add unified type-system decoration framework and Sigma types Live Provers #13: Commit 53af277 pushed by hyperpolymath
13m 45s main
main
13m 45s
ProTip! You can narrow down the results and go further in time using created:<2026-04-19 or the other filters available.