Skip to content

Actions: hyperpolymath/echidna

Actions

.github/workflows/workflow-linter.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow-linter.yml
225 workflow runs
225 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
feat(extract): MiniZinc full-share + gitignore TPTP output .github/workflows/workflow-linter.yml #225: Commit 529ed55 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): TPTP/SMT-LIB full-share + Why3 widening .github/workflows/workflow-linter.yml #224: Commit 5727013 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): Agda literate .lagda.md preprocessor .github/workflows/workflow-linter.yml #223: Commit 5493df4 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): Phase A push — Lean 3 + Mathcomp toward 100K .github/workflows/workflow-linter.yml #222: Commit 31b8790 pushed by hyperpolymath
Failure main
main
Failure
chore(state): Phase A+B+C rollup — 4 provers past 100K bar .github/workflows/workflow-linter.yml #221: Commit 9534bfc pushed by hyperpolymath
Failure main
main
Failure
feat(extract): widen Mizar extractor — definitions/schemes/notations/… .github/workflows/workflow-linter.yml #220: Commit 0647333 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): push Coq past 100K — add MathComp-analysis + Interacti… .github/workflows/workflow-linter.yml #219: Commit 4052f47 pushed by hyperpolymath
Failure main
main
Failure
fix(extract): rewrite Metamath extractor to handle multi-line + walk … .github/workflows/workflow-linter.yml #218: Commit 81ec4e5 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): Phase B — vendor doc's variety shortlist .github/workflows/workflow-linter.yml #217: Commit fb08cd4 pushed by hyperpolymath
Failure main
main
Failure
chore(state): full-integration complete — all 48 provers meet ML bar .github/workflows/workflow-linter.yml #216: Commit 72c4033 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): unlock UPPAAL / Athena / TypedWasm + scale synthetic tail .github/workflows/workflow-linter.yml #215: Commit 332472e pushed by hyperpolymath
Failure main
main
Failure
chore(state): wave 2 rollup — ~40 of 48 provers now meet ML threshold .github/workflows/workflow-linter.yml #214: Commit 4f13233 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): widen ABC + Cameleer — more zero-set provers lifted .github/workflows/workflow-linter.yml #213: Commit b1bb063 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): unlock CBMC / ProVerif / TLC / Nitpick / Nunchaku from… .github/workflows/workflow-linter.yml #212: Commit fa734ba pushed by hyperpolymath
Failure main
main
Failure
feat(extract): widen 6 extractors — 4 more provers past 2K threshold .github/workflows/workflow-linter.yml #211: Commit 0199117 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): push Dedukti + λProlog past 2K ML threshold .github/workflows/workflow-linter.yml #210: Commit 011dfc9 pushed by hyperpolymath
Failure main
main
Failure
chore(state): full-integration push — 25 provers over 2K ML threshold .github/workflows/workflow-linter.yml #209: Commit 495363f pushed by hyperpolymath
Failure main
main
Failure
feat(extract): unlock 7 more provers — Mercury/λProlog/Naproche/SAT t… .github/workflows/workflow-linter.yml #208: Commit 9bb1071 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): widen Frama-C / Abella / Matita extractors .github/workflows/workflow-linter.yml #207: Commit fc3f0f4 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): widen Boogie/SeaHorn/Dedukti — push past 2K ML threshold .github/workflows/workflow-linter.yml #206: Commit 4a0fad1 pushed by hyperpolymath
Failure main
main
Failure
feat(extract): add OpenTheory extractor — pre-aligned cross-prover tr… .github/workflows/workflow-linter.yml #205: Commit 0b347d2 pushed by hyperpolymath
Failure main
main
Failure
chore(state): 2026-04-18 session rollup — 27 provers, ~442 K records .github/workflows/workflow-linter.yml #204: Commit 5346a1a pushed by hyperpolymath
Failure main
main
Failure
chore(state): Tier C wave 3 — dReal / Cameleer / Abella / Dedukti / A… .github/workflows/workflow-linter.yml #203: Commit 4ad211f pushed by hyperpolymath
Failure main
main
Failure
chore(state): Tier C wave 2 — Spin / SeaHorn / KeY / Prism unlocked .github/workflows/workflow-linter.yml #202: Commit c04a952 pushed by hyperpolymath
Failure main
main
Failure
chore(state): record Tier C vendoring + ACL2/MiniZinc boost .github/workflows/workflow-linter.yml #201: Commit 0495bf7 pushed by hyperpolymath
Failure main
main
Failure