Skip to content

Actions: hyperpolymath/echidna

Actions

.github/workflows/security-scan.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
security-scan.yml
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(proofs): repair Agda scoping bugs + add BasicTotality.idr witness .github/workflows/security-scan.yml #156: Commit b1a8eb6 pushed by hyperpolymath
Failure main
main
Failure
chore: drop Coq build artifacts from index .github/workflows/security-scan.yml #155: Commit 5e0cfe7 pushed by hyperpolymath
Failure main
main
Failure
chore(gitignore): exclude prover build artifacts from proofs/ .github/workflows/security-scan.yml #154: Commit 34ebc75 pushed by hyperpolymath
Failure main
main
Failure
feat(proofs): expand corpus for 10+ provers + fix EchidnaBuddy overclaim .github/workflows/security-scan.yml #153: Commit 521b93f pushed by hyperpolymath
Failure main
main
Failure
chore(proofs): add TPTP corpus + known-good Agda witness .github/workflows/security-scan.yml #152: Commit 6f78591 pushed by hyperpolymath
Failure main
main
Failure
feat(fly): deploy config for nesy-solver playground (Phase E3) .github/workflows/security-scan.yml #151: Commit 3695e03 pushed by hyperpolymath
Failure main
main
Failure
docs(test-needs): file /api/verify false-positive bug .github/workflows/security-scan.yml #150: Commit 517966e pushed by hyperpolymath
Failure main
main
Failure
chore(verification): gitignore Idris2 build artifacts .github/workflows/security-scan.yml #149: Commit 579c14b pushed by hyperpolymath
Failure main
main
Failure
.github/workflows/security-scan.yml .github/workflows/security-scan.yml #148: Scheduled
Failure main
main
Failure
feat(crg): add crg-grade and crg-badge justfile recipes .github/workflows/security-scan.yml #147: Commit d163a93 pushed by hyperpolymath
Failure main
main
Failure
chore: add eclexiaiser-validate job to dogfood gate .github/workflows/security-scan.yml #146: Commit 58f7f1d pushed by hyperpolymath
Failure main
main
Failure
feat: wire conflow config validation pipeline .github/workflows/security-scan.yml #145: Commit 4bd92a4 pushed by hyperpolymath
Failure main
main
Failure
chore: add eclexiaiser.toml energy-cost manifest .github/workflows/security-scan.yml #144: Commit 984342a pushed by hyperpolymath
Failure main
main
Failure
chore: add K9 Kennel-level metadata guard .github/workflows/security-scan.yml #143: Commit 4f6b1f8 pushed by hyperpolymath
Failure main
main
Failure
feat: add k9iser.toml and generate K9 contracts .github/workflows/security-scan.yml #142: Commit c52df41 pushed by hyperpolymath
Failure main
main
Failure
ci: deploy dogfood-gate, add Groove manifest and CRG tests .github/workflows/security-scan.yml #141: Commit 66b6bc4 pushed by hyperpolymath
Failure main
main
Failure
test: CRG B evidence — 6 external targets tested .github/workflows/security-scan.yml #140: Commit 5097cb8 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): exclude third-party HTML dirs from mixed content check .github/workflows/security-scan.yml #139: Commit a462d5a pushed by hyperpolymath
Failure main
main
Failure
test: CRG C blitz — E2E, P2P, security, concurrency + routing benchmarks .github/workflows/security-scan.yml #138: Commit ea22b5a pushed by hyperpolymath
Failure main
main
Failure
test: CRG C blitz — E2E, P2P, aspect, Julia, shell test coverage .github/workflows/security-scan.yml #137: Commit d9b7ea0 pushed by hyperpolymath
Failure main
main
Failure
feat(axioms): add really_believe_me, prim__crash (Idris2) + {!!} hole… .github/workflows/security-scan.yml #136: Commit 7d46dbc pushed by hyperpolymath
Failure main
main
Failure
fix(deps): update Cargo.lock to resolve security advisories .github/workflows/security-scan.yml #135: Commit ccbe52c pushed by hyperpolymath
Failure main
main
Failure
Snapshot local work before sync .github/workflows/security-scan.yml #134: Commit 0197bdb pushed by hyperpolymath
Failure main
main
Failure
Snapshot local work before sync .github/workflows/security-scan.yml #133: Commit 1e2e984 pushed by hyperpolymath
Failure main
main
Failure
Change Green Hosting link in README .github/workflows/security-scan.yml #132: Commit b98f67b pushed by hyperpolymath
Failure main
main
Failure