Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
560 workflow runs
560 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
Extract TypedWasm engine to standalone crate, add discipline routing CodeQL Security Analysis #435: Commit 050de1e pushed by hyperpolymath
7m 50s main
main
7m 50s
Claude/fix prover wiring epy ir (#30) CodeQL Security Analysis #434: Commit 1b3a0e9 pushed by hyperpolymath
9m 1s main
main
9m 1s
Claude/fix prover wiring epy ir CodeQL Security Analysis #433: Pull request #30 synchronize by hyperpolymath
7m 25s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
7m 25s
Claude/fix prover wiring epy ir (#29) CodeQL Security Analysis #432: Commit 74e0504 pushed by hyperpolymath
8m 56s main
main
8m 56s
Claude/fix prover wiring epy ir CodeQL Security Analysis #431: Pull request #29 opened by hyperpolymath
7m 27s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
7m 27s
feat(corpus): normalize labels, expand 4 TCs, regenerate vocab CodeQL Security Analysis #430: Commit 207716c pushed by hyperpolymath
7m 30s main
main
7m 30s
fix(types): add type_info field to test-only struct literals CodeQL Security Analysis #429: Commit c393921 pushed by hyperpolymath
8m 32s main
main
8m 32s
feat(corpus): expand 10 critically small provers (4→192 avg) CodeQL Security Analysis #428: Commit 77d1ec0 pushed by hyperpolymath
9m 24s main
main
9m 24s
security: remove binary artifact echidna_gui.wasm to resolve scorecar… CodeQL Security Analysis #427: Commit 20153c7 pushed by hyperpolymath
8m 13s main
main
8m 13s
security: update reqwest and lockfiles to resolve rustls-webpki and r… CodeQL Security Analysis #426: Commit a3d1e79 pushed by hyperpolymath
8m 12s main
main
8m 12s
feat(corpus,security): expand Isabelle corpus to 105 entries and reso… CodeQL Security Analysis #425: Commit 082587b pushed by hyperpolymath
8m 45s main
main
8m 45s
Claude/fix prover wiring epy ir (#28) CodeQL Security Analysis #424: Commit aeac6e3 pushed by hyperpolymath
9m 13s main
main
9m 13s
Claude/fix prover wiring epy ir CodeQL Security Analysis #423: Pull request #28 synchronize by hyperpolymath
7m 42s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
7m 42s
feat(types): native type-system decoration layer (#26) CodeQL Security Analysis #422: Commit f12fc15 pushed by hyperpolymath
8m 48s main
main
8m 48s
feat(types): native type-system decoration layer CodeQL Security Analysis #421: Pull request #26 synchronize by hyperpolymath
7m 12s claude/echidna-type-system-Zan8V
claude/echidna-type-system-Zan8V
7m 12s
long path CodeQL Security Analysis #420: Commit e44815a pushed by hyperpolymath
7m 40s main
main
7m 40s
Complete L3 phase: Wave-3 backends and documentation CodeQL Security Analysis #419: Commit 93d4c76 pushed by hyperpolymath
7m 49s main
main
7m 49s
CodeQL Security Analysis CodeQL Security Analysis #418: Scheduled
7m 47s main
main
7m 47s
feat(vocab): reaching the absolute limit — 1M tokens from 700K proof … CodeQL Security Analysis #417: Commit d0dabbb pushed by hyperpolymath
8m 44s main
main
8m 44s
feat(vocab): massive expansion from 100K to 250K+ tokens based on 700… CodeQL Security Analysis #416: Commit b055ebb pushed by hyperpolymath
7m 42s main
main
7m 42s
feat(corpus): resolved & expanded training corpus (700K+ proofs) (#25) CodeQL Security Analysis #415: Commit 03ae8ba pushed by hyperpolymath
6m 54s main
main
6m 54s
feat(corpus): resolved & expanded training corpus (700K+ proofs) CodeQL Security Analysis #414: Pull request #25 opened by hyperpolymath
7m 21s claude/expand-vocabulary-corpus-1SFwy
claude/expand-vocabulary-corpus-1SFwy
7m 21s
feat(types): wire backend consumers + fix z3 build + outcome module (… CodeQL Security Analysis #413: Commit e76c949 pushed by hyperpolymath
10m 47s main
main
10m 47s
feat(types): wire backend consumers + fix z3 build + outcome module CodeQL Security Analysis #412: Pull request #24 synchronize by hyperpolymath
11m 0s claude/echidna-type-system-Zan8V
claude/echidna-type-system-Zan8V
11m 0s
Claude/fix prover wiring epy ir (#22) CodeQL Security Analysis #411: Commit 8c46e2b pushed by hyperpolymath
7m 24s main
main
7m 24s