Skip to content

Actions: hyperpolymath/echidna

Actions

ClusterFuzzLite PR fuzzing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cflite_pr.yml
39 workflow runs
39 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
chore(deps): bump openssl from 0.10.78 to 0.10.79 in the cargo group across 1 directory ClusterFuzzLite PR fuzzing #39: Pull request #46 opened by dependabot Bot
1m 32s dependabot/cargo/cargo-4410b433dd
dependabot/cargo/cargo-4410b433dd
1m 32s
ci(antipattern): fix top-level dir + benchmark/lsp filename matching ClusterFuzzLite PR fuzzing #38: Pull request #45 opened by hyperpolymath
1h 20m 20s ci/antipattern-dynamic-exemptions-v3-1
ci/antipattern-dynamic-exemptions-v3-1
1h 20m 20s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table ClusterFuzzLite PR fuzzing #37: Pull request #44 opened by hyperpolymath
18m 55s ci/antipattern-dynamic-exemptions
ci/antipattern-dynamic-exemptions
18m 55s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*) ClusterFuzzLite PR fuzzing #36: Pull request #43 opened by hyperpolymath
1h 11m 33s ci/antipattern-allowlist-v2
ci/antipattern-allowlist-v2
1h 11m 33s
ci(antipattern): allowlist legit TS bridge/adapter paths ClusterFuzzLite PR fuzzing #35: Pull request #42 opened by hyperpolymath
22m 28s ci/antipattern-allowlist-bridges
ci/antipattern-allowlist-bridges
22m 28s
chore(audit): clear lib+test warnings, fix prober dispatch bug, sync GraphQL ProverKind ClusterFuzzLite PR fuzzing #34: Pull request #41 opened by hyperpolymath
53s claude/audit-and-test-systems-G3K5K
claude/audit-and-test-systems-G3K5K
53s
chore(meta): nightly triage 2026-04-26 — BLOCKED, manual follow-up required ClusterFuzzLite PR fuzzing #33: Pull request #38 opened by hyperpolymath
1m 16s nightly-triage/2026-04-26
nightly-triage/2026-04-26
1m 16s
Claude/echidna mcp ClusterFuzzLite PR fuzzing #32: Pull request #37 synchronize by hyperpolymath
2m 9s claude/echidna-mcp
claude/echidna-mcp
2m 9s
Claude/assess agent tier readiness w q od r ClusterFuzzLite PR fuzzing #31: Pull request #36 synchronize by hyperpolymath
54s claude/assess-agent-tier-readiness-wQOdR
claude/assess-agent-tier-readiness-wQOdR
54s
chore(deps): bump rustls-webpki from 0.103.12 to 0.103.13 in /fuzz in the cargo group across 1 directory ClusterFuzzLite PR fuzzing #30: Pull request #35 synchronize by hyperpolymath
6m 12s dependabot/cargo/fuzz/cargo-8056535635
dependabot/cargo/fuzz/cargo-8056535635
6m 12s
chore(deps): bump rustls-webpki from 0.103.12 to 0.103.13 in /fuzz in the cargo group across 1 directory ClusterFuzzLite PR fuzzing #29: Pull request #35 opened by dependabot Bot
2m 17s dependabot/cargo/fuzz/cargo-8056535635
dependabot/cargo/fuzz/cargo-8056535635
2m 17s
Claude/echidna mcp ClusterFuzzLite PR fuzzing #28: Pull request #34 synchronize by hyperpolymath
4m 2s claude/echidna-mcp
claude/echidna-mcp
4m 2s
Claude/echidna mcp ClusterFuzzLite PR fuzzing #27: Pull request #34 opened by hyperpolymath
3m 27s claude/echidna-mcp
claude/echidna-mcp
3m 27s
Claude/echidna mcp ClusterFuzzLite PR fuzzing #26: Pull request #33 synchronize by hyperpolymath
1m 25s claude/echidna-mcp
claude/echidna-mcp
1m 25s
Claude/echidna mcp ClusterFuzzLite PR fuzzing #25: Pull request #33 opened by hyperpolymath
1m 22s claude/echidna-mcp
claude/echidna-mcp
1m 22s
Claude/echidna mcp ClusterFuzzLite PR fuzzing #24: Pull request #32 opened by hyperpolymath
6m 18s claude/echidna-mcp
claude/echidna-mcp
6m 18s
security(deps): clear cargo-audit vuln + 2 unmaintained-crate warnings ClusterFuzzLite PR fuzzing #23: Pull request #31 synchronize by hyperpolymath
8m 7s claude/extract-typed-wasm-crate-TPDM9
claude/extract-typed-wasm-crate-TPDM9
8m 7s
security(deps): clear cargo-audit vuln + 2 unmaintained-crate warnings ClusterFuzzLite PR fuzzing #22: Pull request #31 opened by hyperpolymath
2m 53s claude/extract-typed-wasm-crate-TPDM9
claude/extract-typed-wasm-crate-TPDM9
2m 53s
Claude/fix prover wiring epy ir ClusterFuzzLite PR fuzzing #21: Pull request #30 synchronize by hyperpolymath
49s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
49s
Claude/fix prover wiring epy ir ClusterFuzzLite PR fuzzing #20: Pull request #29 opened by hyperpolymath
51s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
51s
Claude/fix prover wiring epy ir ClusterFuzzLite PR fuzzing #19: Pull request #28 synchronize by hyperpolymath
1m 56s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
1m 56s
feat(types): native type-system decoration layer ClusterFuzzLite PR fuzzing #18: Pull request #26 synchronize by hyperpolymath
55s claude/echidna-type-system-Zan8V
claude/echidna-type-system-Zan8V
55s
feat(corpus): resolved & expanded training corpus (700K+ proofs) ClusterFuzzLite PR fuzzing #17: Pull request #25 opened by hyperpolymath
51s claude/expand-vocabulary-corpus-1SFwy
claude/expand-vocabulary-corpus-1SFwy
51s
feat(types): wire backend consumers + fix z3 build + outcome module ClusterFuzzLite PR fuzzing #16: Pull request #24 synchronize by hyperpolymath
5m 2s claude/echidna-type-system-Zan8V
claude/echidna-type-system-Zan8V
5m 2s
Claude/fix prover wiring epy ir ClusterFuzzLite PR fuzzing #15: Pull request #22 synchronize by hyperpolymath
2m 9s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
2m 9s