Skip to content

Actions: hyperpolymath/echidna

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
237 workflow runs
237 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
docs: clarify v2.2+ roadmap status with implementation details BoJ Server Build Trigger #237: Commit 78127c6 pushed by hyperpolymath
20s main
main
20s
Update language stack: migrate from ReScript to AffineScript BoJ Server Build Trigger #236: Commit 1d5b7de pushed by hyperpolymath
18s main
main
18s
Remove generate_idr.py and update documentation BoJ Server Build Trigger #235: Commit 5f83d01 pushed by hyperpolymath
20s main
main
20s
Refactor language/tool stack documentation for Rust-first architecture BoJ Server Build Trigger #234: Commit 64a8345 pushed by hyperpolymath
33s main
main
33s
Extract TypedWasm engine to standalone crate, add discipline routing BoJ Server Build Trigger #233: Commit 050de1e pushed by hyperpolymath
36s main
main
36s
Claude/fix prover wiring epy ir (#30) BoJ Server Build Trigger #232: Commit 1b3a0e9 pushed by hyperpolymath
54s main
main
54s
Claude/fix prover wiring epy ir (#29) BoJ Server Build Trigger #231: Commit 74e0504 pushed by hyperpolymath
24s main
main
24s
feat(corpus): normalize labels, expand 4 TCs, regenerate vocab BoJ Server Build Trigger #230: Commit 207716c pushed by hyperpolymath
23s main
main
23s
fix(types): add type_info field to test-only struct literals BoJ Server Build Trigger #229: Commit c393921 pushed by hyperpolymath
18s main
main
18s
feat(corpus): expand 10 critically small provers (4→192 avg) BoJ Server Build Trigger #228: Commit 77d1ec0 pushed by hyperpolymath
41s main
main
41s
security: remove binary artifact echidna_gui.wasm to resolve scorecar… BoJ Server Build Trigger #227: Commit 20153c7 pushed by hyperpolymath
25s main
main
25s
security: update reqwest and lockfiles to resolve rustls-webpki and r… BoJ Server Build Trigger #226: Commit a3d1e79 pushed by hyperpolymath
46s main
main
46s
feat(corpus,security): expand Isabelle corpus to 105 entries and reso… BoJ Server Build Trigger #225: Commit 082587b pushed by hyperpolymath
1m 53s main
main
1m 53s
Claude/fix prover wiring epy ir (#28) BoJ Server Build Trigger #224: Commit aeac6e3 pushed by hyperpolymath
2m 39s main
main
2m 39s
feat(types): native type-system decoration layer (#26) BoJ Server Build Trigger #223: Commit f12fc15 pushed by hyperpolymath
1m 8s main
main
1m 8s
long path BoJ Server Build Trigger #222: Commit e44815a pushed by hyperpolymath
31s main
main
31s
Complete L3 phase: Wave-3 backends and documentation BoJ Server Build Trigger #221: Commit 93d4c76 pushed by hyperpolymath
19s main
main
19s
feat(vocab): reaching the absolute limit — 1M tokens from 700K proof … BoJ Server Build Trigger #220: Commit d0dabbb pushed by hyperpolymath
29s main
main
29s
feat(vocab): massive expansion from 100K to 250K+ tokens based on 700… BoJ Server Build Trigger #219: Commit b055ebb pushed by hyperpolymath
1m 13s main
main
1m 13s
feat(corpus): resolved & expanded training corpus (700K+ proofs) (#25) BoJ Server Build Trigger #218: Commit 03ae8ba pushed by hyperpolymath
19s main
main
19s
feat(types): wire backend consumers + fix z3 build + outcome module (… BoJ Server Build Trigger #217: Commit e76c949 pushed by hyperpolymath
2m 1s main
main
2m 1s
Claude/fix prover wiring epy ir (#22) BoJ Server Build Trigger #216: Commit 8c46e2b pushed by hyperpolymath
40s main
main
40s
Add unified type-system decoration framework and Sigma types BoJ Server Build Trigger #215: Commit 53af277 pushed by hyperpolymath
6m 7s main
main
6m 7s
Claude/fix prover wiring epy ir (#21) BoJ Server Build Trigger #214: Commit cbd5ad1 pushed by hyperpolymath
6m 47s main
main
6m 47s
feat(corpus): expand synthetic proofs for least-represented provers (… BoJ Server Build Trigger #213: Commit 8b79af5 pushed by hyperpolymath
4m 7s main
main
4m 7s