Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,197 workflow runs
1,197 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 CodeQL Security Analysis #572: Pull request #46 opened by dependabot Bot
8m 34s dependabot/cargo/cargo-4410b433dd
dependabot/cargo/cargo-4410b433dd
8m 34s
CodeQL Security Analysis CodeQL Security Analysis #571: Scheduled
8m 2s main
main
8m 2s
ci(antipattern): fix top-level dir + benchmark/lsp filename matching … CodeQL Security Analysis #570: Commit 7e8edbe pushed by hyperpolymath
1h 30m 51s main
main
1h 30m 51s
ci(antipattern): fix top-level dir + benchmark/lsp filename matching CodeQL Security Analysis #569: Pull request #45 opened by hyperpolymath
1h 26m 38s ci/antipattern-dynamic-exemptions-v3-1
ci/antipattern-dynamic-exemptions-v3-1
1h 26m 38s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#44) CodeQL Security Analysis #568: Commit 61b006d pushed by hyperpolymath
27m 16s main
main
27m 16s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table CodeQL Security Analysis #567: Pull request #44 opened by hyperpolymath
25m 2s ci/antipattern-dynamic-exemptions
ci/antipattern-dynamic-exemptions
25m 2s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vsco… CodeQL Security Analysis #566: Commit 123ae11 pushed by hyperpolymath
1h 20m 37s main
main
1h 20m 37s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*) CodeQL Security Analysis #565: Pull request #43 opened by hyperpolymath
1h 18m 26s ci/antipattern-allowlist-v2
ci/antipattern-allowlist-v2
1h 18m 26s
ci(antipattern): allowlist legit TS bridge/adapter paths (#42) CodeQL Security Analysis #564: Commit 84c9eb3 pushed by hyperpolymath
26m 34s main
main
26m 34s
ci(antipattern): allowlist legit TS bridge/adapter paths CodeQL Security Analysis #563: Pull request #42 opened by hyperpolymath
32m 7s ci/antipattern-allowlist-bridges
ci/antipattern-allowlist-bridges
32m 7s
chore(audit): clear lib+test warnings, fix prober dispatch bug, sync … CodeQL Security Analysis #562: Commit 41c6f00 pushed by hyperpolymath
8m 46s main
main
8m 46s
chore(audit): clear lib+test warnings, fix prober dispatch bug, sync GraphQL ProverKind CodeQL Security Analysis #561: Pull request #41 opened by hyperpolymath
8m 23s claude/audit-and-test-systems-G3K5K
claude/audit-and-test-systems-G3K5K
8m 23s
docs(state): record EOD landing of Phase13.agda + RankBrouwer.agda CodeQL Security Analysis #560: Commit a652da4 pushed by hyperpolymath
9m 16s main
main
9m 16s
docs: corpus subsystem guide + 2026-04-28 ADR + 6a2 sync + Justfile r… CodeQL Security Analysis #559: Commit 95d5399 pushed by hyperpolymath
8m 51s main
main
8m 51s
feat(corpus): multi-axis query DSL — N-dim plan capstone CodeQL Security Analysis #558: Commit 8265f9b pushed by hyperpolymath
9m 8s main
main
9m 8s
docs(readme): update prover count 48→128 and test count 613→917 CodeQL Security Analysis #557: Commit 8d0d9e7 pushed by hyperpolymath
1h 9m 7s main
main
1h 9m 7s
chore(state): record 2026-04-27 audit + cleanup session CodeQL Security Analysis #556: Commit 1ccee56 pushed by hyperpolymath
1h 9m 48s main
main
1h 9m 48s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) CodeQL Security Analysis #555: Commit 52daa4a pushed by hyperpolymath
47m 8s main
main
47m 8s
feat(l3-wave3): complete Wave-3 Tier-3 container infrastructure (9 ba… CodeQL Security Analysis #554: Commit a87fae1 pushed by hyperpolymath
9m 35s main
main
9m 35s
feat(spark): Stage 8c-M3 — outer-loop invariant, CI hard gate CodeQL Security Analysis #553: Commit 45d1de0 pushed by hyperpolymath
9m 4s main
main
9m 4s
feat(spark): Stage 8c-M2 — live compute contract + pure dominates + i… CodeQL Security Analysis #552: Commit b9c06fd pushed by hyperpolymath
9m 6s main
main
9m 6s
feat(spark): Stage 8c — live Creusot contracts + weighted_rank + CI (… CodeQL Security Analysis #551: Commit 7c02c2e pushed by hyperpolymath
8m 43s main
main
8m 43s
feat(suggest): implement suggest_tactics for Abella, KeYmaeraX, EasyC… CodeQL Security Analysis #550: Commit fb3db5a pushed by hyperpolymath
9m 9s main
main
9m 9s
feat(suggest): implement echidna suggest CLI verb — mechanical tactic… CodeQL Security Analysis #549: Commit 133e31b pushed by hyperpolymath
9m 0s main
main
9m 0s
feat(provers): close Phase 4 — 6 DL/probabilistic/B-method/comp-crypt… CodeQL Security Analysis #548: Commit 94002d0 pushed by hyperpolymath
9m 11s main
main
9m 11s
ProTip! You can narrow down the results and go further in time using created:<2026-04-27 or the other filters available.