Skip to content

Actions: hyperpolymath/echidna

Actions

Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
security-scan.yml
654 workflow runs
654 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
ci: add timeout-minutes safety bound to every workflow steps-job Security Scan #579: Commit 2c29352 pushed by hyperpolymath
3m 25s main
main
3m 25s
ci(bridge-gate): wire the merge-orchestration CVE/bump gate Security Scan #578: Commit e15ef1d pushed by hyperpolymath
Startup failure main
main
Startup failure
checkpoint(2026-06-13): record dogfood proof-CI in state/roadmap/wiki… Security Scan #577: Commit df71e5f pushed by hyperpolymath
Startup failure main
main
Startup failure
Security Scan Security Scan #576: Scheduled
Startup failure main
main
Startup failure
chore(training): EchidnaML CUDA logging fix + per-stage run doc (#232) Security Scan #575: Commit 546bd1f pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump nom from 7.1.3 to 8.0.0 (#228) Security Scan #574: Commit f72502f pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump axum from 0.7.9 to 0.8.9 (#233) Security Scan #573: Commit f0692a4 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump the actions group with 4 updates (#237) Security Scan #572: Commit 0a3357e pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump nalgebra from 0.33.3 to 0.35.0 (#236) Security Scan #571: Commit aae4d32 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(proofs+ci): repair proof corpus, unbreak Agda CI, and gate every … Security Scan #570: Commit ec3f06c pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump rand from 0.9.4 to 0.10.1 (#227) Security Scan #569: Commit a26e628 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(scripts): idempotent proof-toolchain self-provisioning script (… Security Scan #568: Commit bbdaa21 pushed by hyperpolymath
Startup failure main
main
Startup failure
test(ci): verify echidna workflows with codeql/hypatia fixes Security Scan #567: Commit 48504df pushed by hyperpolymath
Startup failure main
main
Startup failure
Feat/b7 audit correction and fixtures (#221) Security Scan #566: Commit 32dd499 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(training-run): record 2026-06-02 first-GNN-run results (#222) Security Scan #565: Commit 6130c14 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(contributing): restore Palimpsest framework reference (#223) Security Scan #564: Commit 2b27507 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(changelog): record Chapel 2.8.0 ubuntu-22.04 runs-on pin (#183) … Security Scan #563: Commit b4de7ed pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump nom from 7.1.3 to 8.0.0 (#204) (#230) Security Scan #562: Commit 76a9ec8 pushed by hyperpolymath
3m 45s main
main
3m 45s
fix(julia): add JSON dep — corpus_loader.jl uses JSON.parse (#231) Security Scan #561: Commit 7c712d8 pushed by hyperpolymath
45s main
main
45s
chore(deps): bump the actions group with 5 updates (#225) Security Scan #560: Commit 4765aa2 pushed by hyperpolymath
32s main
main
32s
chore(deps): bump rustyline from 15.0.0 to 18.0.0 (#226) Security Scan #559: Commit 6171835 pushed by hyperpolymath
22s main
main
22s
chore(deps): bump criterion from 0.5.1 to 0.8.2 (#229) Security Scan #558: Commit 6c2b44a pushed by hyperpolymath
13s main
main
13s
docs(architecture): cross-repo proof DAG design (closes C14 estate bl… Security Scan #557: Commit 6ed0675 pushed by hyperpolymath
4m 27s main
main
4m 27s
docs(handover): L3 gate path checklist (closes D18 estate blocker) (#… Security Scan #556: Commit 9eef662 pushed by hyperpolymath
14s main
main
14s
fix(ci): add missing timeout-minutes to all workflow jobs Security Scan #555: Commit 0dda598 pushed by hyperpolymath
Failure pr-183
pr-183
Failure