Skip to content

Actions: hyperpolymath/echidna

Actions

Container Build Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
container-ci.yml
133 workflow runs
133 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(l1/l2/l3): Cap'n Proto IPC scaffold, Chapel parallel endpoint, W… Container Build Verification #133: Commit 0a78906 pushed by hyperpolymath
1m 5s main
main
1m 5s
merge(branch): claude/fix-prover-wiring-epyIR — corpus pipeline + ver… Container Build Verification #132: Commit b2dc327 pushed by hyperpolymath
1m 9s main
main
1m 9s
feat(cli): wire --diagnose flag into verify and prove subcommands Container Build Verification #131: Commit 94b158d pushed by hyperpolymath
1m 41s main
main
1m 41s
fix(provers): correct EProver '#'→'%' prefix bug and Z3 get-value par… Container Build Verification #130: Commit 92c6b6e pushed by hyperpolymath
1m 6s main
main
1m 6s
feat(diagnostics): fallback SLA enforcement + field signal collection… Container Build Verification #129: Commit 9351a96 pushed by hyperpolymath
1m 4s main
main
1m 4s
feat(verisim): scaffold VeriSimDB octad bridge for proof metadata sto… Container Build Verification #128: Commit 30b838c pushed by hyperpolymath
1m 10s main
main
1m 10s
fix(integrity): bounded_read_config helper for solver manifest Container Build Verification #127: Commit b0f9bb1 pushed by hyperpolymath
1m 26s main
main
1m 26s
feat: implement corpus_monitor for corpus health tracking on proof ad… Container Build Verification #126: Commit a253bb1 pushed by hyperpolymath
1m 13s main
main
1m 13s
feat: implement fallback_monitor for cosine similarity SLA tracking Container Build Verification #125: Commit 446498d pushed by hyperpolymath
1m 14s main
main
1m 14s
fix: format GNN training metrics timestamp with RFC3339 timezone Container Build Verification #124: Commit 5065745 pushed by hyperpolymath
1m 7s main
main
1m 7s
fix(rest+llm): /api/v1/consult e2e wiring — env-var port + cartridge … Container Build Verification #123: Commit 1b613c2 pushed by hyperpolymath
1m 41s main
main
1m 41s
fix(provers): bounded_read_proof_file helper + 25 wrapper migrations Container Build Verification #122: Commit 4241abf pushed by hyperpolymath
1m 25s main
main
1m 25s
feat: add comprehensive fault-tolerance architecture (4 layers) Container Build Verification #121: Commit 87f49a4 pushed by hyperpolymath
1m 5s main
main
1m 5s
fix(uppaal): https for the UPPAAL flat-DTD URI; STATE.a2ml session log Container Build Verification #120: Commit bc25fad pushed by hyperpolymath
1m 22s main
main
1m 22s
feat(rest): /api/v1/consult endpoint for Consultant-mode Q&A Container Build Verification #119: Commit 1195cb0 pushed by hyperpolymath
1m 9s main
main
1m 9s
Claude/echidna mcp (#37) Container Build Verification #118: Commit 365dde2 pushed by hyperpolymath
2m 21s main
main
2m 21s
Claude/echidna mcp Container Build Verification #117: Pull request #37 synchronize by hyperpolymath
4m 0s claude/echidna-mcp
claude/echidna-mcp
4m 0s
Merge branch 'main' into claude/echidna-mcp Container Build Verification #116: Commit cdd9ffb pushed by hyperpolymath
2m 5s claude/echidna-mcp
claude/echidna-mcp
2m 5s
Merge branch 'main' into claude/assess-agent-tier-readiness-wQOdR Container Build Verification #115: Commit e0d4372 pushed by hyperpolymath
2m 12s claude/assess-agent-tier-readiness-wQOdR
claude/assess-agent-tier-readiness-wQOdR
2m 12s
chore(deps): cargo update — patch rustls-webpki + transitive bumps Container Build Verification #114: Commit 7b5191e pushed by hyperpolymath
1m 7s main
main
1m 7s
test(ffi): update kind_from_u8 out-of-range boundary 105→113 Container Build Verification #113: Commit 2b0edfb pushed by hyperpolymath
1m 35s main
main
1m 35s
Merge branch 'main' into dependabot/cargo/fuzz/cargo-8056535635 Container Build Verification #112: Commit 1e6d1a7 pushed by hyperpolymath
6m 46s dependabot/cargo/fuzz/cargo-8056535635
dependabot/cargo/fuzz/cargo-8056535635
6m 46s
feat(executor): add bounded_command_output to cap prover stdout/stderr Container Build Verification #111: Commit 1542c8a pushed by hyperpolymath
1m 17s main
main
1m 17s
feat(provers): wire 8 new backends into mod.rs + fix unused-param war… Container Build Verification #110: Commit c8c0acf pushed by hyperpolymath
3m 21s main
main
3m 21s
feat(dispatch): wire ChapelParallelSearch into ProverDispatcher (L2.1) Container Build Verification #109: Commit d01a33b pushed by hyperpolymath
1m 38s main
main
1m 38s