Skip to content

Actions: hyperpolymath/echidna

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
255 workflow runs
255 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: CRG C blitz — E2E, P2P, security, concurrency + routing benchmarks Code Quality #255: Commit ea22b5a pushed by hyperpolymath
8s main
main
8s
test: CRG C blitz — E2E, P2P, aspect, Julia, shell test coverage Code Quality #254: Commit d9b7ea0 pushed by hyperpolymath
11s main
main
11s
feat(axioms): add really_believe_me, prim__crash (Idris2) + {!!} hole… Code Quality #253: Commit 7d46dbc pushed by hyperpolymath
3m 8s main
main
3m 8s
fix(deps): update Cargo.lock to resolve security advisories Code Quality #252: Commit ccbe52c pushed by hyperpolymath
3m 52s main
main
3m 52s
Snapshot local work before sync Code Quality #251: Commit 0197bdb pushed by hyperpolymath
10s main
main
10s
Snapshot local work before sync Code Quality #250: Commit 1e2e984 pushed by hyperpolymath
3m 21s main
main
3m 21s
Change Green Hosting link in README Code Quality #249: Commit b98f67b pushed by hyperpolymath
8s main
main
8s
feat: add AxiomTrackerCompleteness.agda Code Quality #248: Commit 563ce51 pushed by hyperpolymath
20m 31s main
main
20m 31s
Remove template-only ABI files that falsely implied formal verification Code Quality #247: Commit e1ae4f7 pushed by hyperpolymath
10m 57s main
main
10m 57s
docs: add BibTeX bibliography for neurosymbolic theorem proving paper Code Quality #246: Commit 0ae79b9 pushed by hyperpolymath
9s main
main
9s
feat: add GNN integration for proof search guidance (v2.1.0) Code Quality #245: Commit e7f373e pushed by hyperpolymath
16s main
main
16s
feat: 5x vocabulary expansion — 72,557 tokens across 48 provers + 10 … Code Quality #244: Commit 706556f pushed by hyperpolymath
10s main
main
10s
docs: update ReScript file count (28→33) and version after TS migration Code Quality #243: Commit ff9d279 pushed by hyperpolymath
9s main
main
9s
feat: migrate all 15 TypeScript files to ReScript — zero TS remaining Code Quality #242: Commit 5b58598 pushed by hyperpolymath
9s main
main
9s
feat: migrate all 26 corpus extraction scripts from Python to Julia Code Quality #241: Commit 637e39e pushed by hyperpolymath
11s main
main
11s
chore: replace template placeholders in ROADMAP.adoc files Code Quality #240: Commit b3eae15 pushed by hyperpolymath
6m 18s main
main
6m 18s
chore: update Cargo dependencies for security Code Quality #239: Commit 2ff20e4 pushed by hyperpolymath
5m 38s main
main
5m 38s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Code Quality #238: Commit eba3e3f pushed by hyperpolymath
16m 9s main
main
16m 9s
chore: gitignore .tool-versions (asdf) Code Quality #237: Commit 8515751 pushed by hyperpolymath
1h 49m 4s main
main
1h 49m 4s
feat: add stapeln.toml layer-based container definition\n\nConverted … Code Quality #236: Commit d207085 pushed by hyperpolymath
1h 28m 2s main
main
1h 28m 2s
chore: add UX infrastructure (quickstart, doctor, setup) Code Quality #235: Commit f37b0f0 pushed by hyperpolymath
34m 55s main
main
34m 55s
feat: add V-lang API for theorem prover client Code Quality #234: Commit d0ade7f pushed by hyperpolymath
8s main
main
8s
feat: add Groove discovery manifest Code Quality #233: Commit 3863630 pushed by hyperpolymath
13s main
main
13s
Add Green Web Foundation badge (#9) Code Quality #232: Commit cb5eb6c pushed by hyperpolymath
1m 15s main
main
1m 15s
Add Green Web Foundation badge Code Quality #231: Pull request #9 synchronize by hyperpolymath
3m 23s add-gwf-badge
add-gwf-badge
3m 23s