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
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… CodeQL Security Analysis #1122: Commit c601d02 pushed by hyperpolymath
43m 20s main
main
43m 20s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #1121: Pull request #288 opened by hyperpolymath
41m 42s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
41m 42s
feat(ci): attest build provenance (#287) CodeQL Security Analysis #1120: Commit 4b3e0cb pushed by hyperpolymath
9h 20m 54s main
main
9h 20m 54s
feat(ci): attest build provenance CodeQL Security Analysis #1119: Pull request #287 opened by hyperpolymath
9h 42m 9s feat/attest-build-provenance
feat/attest-build-provenance
9h 42m 9s
chore(ci): add dormant push-email notification workflow (#286) CodeQL Security Analysis #1118: Commit 15aa05a pushed by hyperpolymath
15h 45m 42s main
main
15h 45m 42s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #1117: Pull request #286 opened by hyperpolymath
14h 10m 12s chore/push-email-notify
chore/push-email-notify
14h 10m 12s
chore(clade): backfill [status] lifecycle block (#285) CodeQL Security Analysis #1116: Commit 821f4b4 pushed by hyperpolymath
31m 26s main
main
31m 26s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #1115: Pull request #285 opened by hyperpolymath
13h 19m 55s chore/clade-status-backfill
chore/clade-status-backfill
13h 19m 55s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #1114: Commit f690c7d pushed by hyperpolymath
54m 47s main
main
54m 47s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #1113: Pull request #284 opened by hyperpolymath
9h 39m 41s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
9h 39m 41s
chore(ci): bump standards reusable workflow pins (#283) CodeQL Security Analysis #1112: Commit 2e384eb pushed by hyperpolymath
49m 2s main
main
49m 2s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #1111: Pull request #283 opened by hyperpolymath
1h 18m 36s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
1h 18m 36s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #1110: Commit 4932d70 pushed by hyperpolymath
2m 48s main
main
2m 48s
fix(proofs): comprehensively nat-annotate EchidnaNat to green the Isa… CodeQL Security Analysis #1109: Commit ff435d0 pushed by hyperpolymath
1m 13s main
main
1m 13s
fix(proofs): comprehensively nat-annotate EchidnaNat to green the Isabelle base CodeQL Security Analysis #1108: Pull request #282 opened by hyperpolymath
1m 10s claude/loving-cannon-AtUSm
claude/loving-cannon-AtUSm
1m 10s
fix(proofs): finish Isabelle base gate; descope Mizar (#280); fix ver… CodeQL Security Analysis #1107: Commit 6848193 pushed by hyperpolymath
1m 13s main
main
1m 13s
fix(proofs): finish Isabelle base gate; descope Mizar (#280); fix verif-idris perms CodeQL Security Analysis #1106: Pull request #281 opened by hyperpolymath
1m 14s claude/loving-cannon-AtUSm
claude/loving-cannon-AtUSm
1m 14s
fix(proofs): finish Isabelle base corpus repair (polymorphic nat/list… CodeQL Security Analysis #1105: Commit 990a367 pushed by hyperpolymath
1m 9s main
main
1m 9s
fix(proofs): finish Isabelle base corpus repair (polymorphic nat/list lemmas) CodeQL Security Analysis #1104: Pull request #279 opened by hyperpolymath
1m 5s claude/loving-cannon-AtUSm
claude/loving-cannon-AtUSm
1m 5s
fix(proofs): repair Isabelle/Mizar self-proof corpora for the weekly … CodeQL Security Analysis #1103: Commit c7a12bf pushed by hyperpolymath
2m 4s main
main
2m 4s
fix(proofs): repair Isabelle/Mizar self-proof corpora for the weekly cron CodeQL Security Analysis #1102: Pull request #278 opened by hyperpolymath
1m 27s claude/loving-cannon-AtUSm
claude/loving-cannon-AtUSm
1m 27s
ci(proofs): weekly cron gating the Isabelle + Mizar self-proof corpor… CodeQL Security Analysis #1101: Commit 0b5725d pushed by hyperpolymath
1m 23s main
main
1m 23s
ci(proofs): weekly cron gating the Isabelle + Mizar self-proof corpora CodeQL Security Analysis #1100: Pull request #277 synchronize by hyperpolymath
1m 0s claude/loving-cannon-AtUSm
claude/loving-cannon-AtUSm
1m 0s
ci(proofs): weekly cron gating the Isabelle + Mizar self-proof corpora CodeQL Security Analysis #1099: Pull request #277 synchronize by hyperpolymath
1m 7s claude/loving-cannon-AtUSm
claude/loving-cannon-AtUSm
1m 7s
ci(proofs): weekly cron gating the Isabelle + Mizar self-proof corpora CodeQL Security Analysis #1098: Pull request #277 synchronize by hyperpolymath
1m 14s claude/loving-cannon-AtUSm
claude/loving-cannon-AtUSm
1m 14s