CodeQL Security Analysis

codeql.yml

327 workflow runs

fix(abi): accept runtogether form for multi-cap acronym variants
failed:
CodeQL Security Analysis#77:Pull request#21openedbyhyperpolymath
fix/abi-multicap-runtogether-candidate
May 20, 202643s
fix(abi-emit-manifest): skip GADT-style data … where declarations
failed:
CodeQL Security Analysis#76:Pull request#20openedbyhyperpolymath
fix/abi-emit-skip-gadt-data
May 20, 202647s
docs(readme): list iseriser CLI subcommands incl. abi-verify + abi-em…
failed:
CodeQL Security Analysis#75:Commit84f9e31pushedbyhyperpolymath
main
May 20, 202639s
docs(readme): list iseriser CLI subcommands incl. abi-verify + abi-emit-manifest
failed:
CodeQL Security Analysis#74:Pull request#16openedbyhyperpolymath
docs/readme-abi-subcommands
May 20, 202636s
feat(abi-verify): teach the converter Zig reserved words (standards#9…
failed:
CodeQL Security Analysis#73:Commit570d337pushedbyhyperpolymath
main
May 20, 20261m 36s
feat(abi-verify): teach the converter Zig reserved words (standards#92 follow-up)
failed:
CodeQL Security Analysis#72:Pull request#15openedbyhyperpolymath
feat/zig-reserved-word-converter
May 20, 202641s
feat(abi-emit-manifest): emit ABI manifest from Idris2 source (standa…
failed:
CodeQL Security Analysis#71:Commitaa2484cpushedbyhyperpolymath
main
May 20, 202641s
feat(abi-emit-manifest): emit ABI manifest from Idris2 source (standards#92 Phase 1b)
failed:
CodeQL Security Analysis#70:Pull request#14openedbyhyperpolymath
feat/abi-verify-phase1b-emitter
May 20, 202642s
feat(abi-verify): structural ABI gate — Idris2 manifest ↔ Zig FFI dif…
failed:
CodeQL Security Analysis#69:Commit89cbe0cpushedbyhyperpolymath
main
May 20, 20261m 13s
feat(abi-verify): structural ABI gate — Idris2 manifest ↔ Zig FFI diff (standards#92 Phase 1)
failed:
CodeQL Security Analysis#68:Pull request#13openedbyhyperpolymath
feat/abi-verify-phase1
May 20, 202644s
feat(scaffold): add unified-gated-adapter + SSE + *-regen.yml (standa…
failed:
CodeQL Security Analysis#67:Commit109b656pushedbyhyperpolymath
main
May 19, 20262h 21m 35s
feat(scaffold): add unified-gated-adapter + SSE + *-regen.yml (standards#89 sub-issue 1)
failed:
CodeQL Security Analysis#66:Pull request#12openedbyhyperpolymath
feat/scaffold-regen-adapter-sse
May 19, 20261h 31m 32s
ci: redistribute concurrency-cancel guard to read-only check workflow…
failed:
CodeQL Security Analysis#65:Commit395fb45pushedbyhyperpolymath
main
May 18, 202615h 11m 14s
ci: redistribute concurrency-cancel guard to read-only check workflows
failed:
CodeQL Security Analysis#64:Pull request#11openedbyhyperpolymath
sweep/standards-122-concurrency
May 18, 202615h 19m 34s
CodeQL Security Analysis
cancelled:
CodeQL Security Analysis#63:Scheduled
main
May 18, 202631m 29s
harden(ci): concurrency-cancel guard on canonical check workflows (#10)
cancelled:
CodeQL Security Analysis#62:Commit6f232d1pushedbyhyperpolymath
main
May 18, 202639m 35s
harden(ci): concurrency-cancel guard on canonical check workflows
failed:
CodeQL Security Analysis#61:Pull request#10openedbyhyperpolymath
harden/ci-concurrency-estate-2026-05-18
May 18, 20266h 14m 0s
fix(ci): bump a2ml/k9-validate-action pins to canonical (standards#85…
failed:
CodeQL Security Analysis#60:Commit15fb589pushedbyhyperpolymath
main
May 17, 202623h 32m 58s
fix(ci): bump a2ml/k9-validate-action pins to canonical
failed:
CodeQL Security Analysis#59:Pull request#9openedbyhyperpolymath
fix/ci-dogfood-pins-standards-85
May 17, 202623h 32m 32s
fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SA…
cancelled:
CodeQL Security Analysis#58:Commit7f46ff3pushedbyhyperpolymath
main
May 17, 20261d 0h 0m 2s
fix(ci): sync hypatia-scan.yml to canonical
cancelled:
CodeQL Security Analysis#57:Pull request#8openedbyhyperpolymath
fix/hypatia-scan-canonical
May 17, 20261d 0h 0m 2s
chore(ci): replace per-repo governance copies with shared bundle wrapper
failed:
CodeQL Security Analysis#56:Commit4d67632pushedbyhyperpolymath
main
May 17, 202611h 23m 14s
fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + …
failed:
CodeQL Security Analysis#55:Commit58f5405pushedbyhyperpolymath
main
May 16, 202655m 13s
fix(ci): adopt canonical hypatia-scan.yml
failed:
CodeQL Security Analysis#54:Pull request#6openedbyhyperpolymath
fix/hypatia-scan-canonical
May 16, 202654m 59s
ci: bump actions/upload-artifact SHA to current v4 (#5)
failed:
CodeQL Security Analysis#53:Commit4d5c544pushedbyhyperpolymath
main
May 13, 202612h 46m 30s

Navigation Menu

CodeQL Security Analysis

327 workflow runs

fix(abi): accept runtogether form for multi-cap acronym variants

fix(abi-emit-manifest): skip GADT-style `data … where` declarations

docs(readme): list iseriser CLI subcommands incl. abi-verify + abi-em…

docs(readme): list iseriser CLI subcommands incl. abi-verify + abi-emit-manifest

feat(abi-verify): teach the converter Zig reserved words (standards#9…

feat(abi-verify): teach the converter Zig reserved words (standards#92 follow-up)

feat(abi-emit-manifest): emit ABI manifest from Idris2 source (standa…

feat(abi-emit-manifest): emit ABI manifest from Idris2 source (standards#92 Phase 1b)

feat(abi-verify): structural ABI gate — Idris2 manifest ↔ Zig FFI dif…

feat(abi-verify): structural ABI gate — Idris2 manifest ↔ Zig FFI diff (standards#92 Phase 1)

feat(scaffold): add unified-gated-adapter + SSE + *-regen.yml (standa…

feat(scaffold): add unified-gated-adapter + SSE + *-regen.yml (standards#89 sub-issue 1)

ci: redistribute concurrency-cancel guard to read-only check workflow…

ci: redistribute concurrency-cancel guard to read-only check workflows

CodeQL Security Analysis

harden(ci): concurrency-cancel guard on canonical check workflows (#10)

harden(ci): concurrency-cancel guard on canonical check workflows

fix(ci): bump a2ml/k9-validate-action pins to canonical (standards#85…

fix(ci): bump a2ml/k9-validate-action pins to canonical

fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SA…

fix(ci): sync hypatia-scan.yml to canonical

chore(ci): replace per-repo governance copies with shared bundle wrapper

fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + …

fix(ci): adopt canonical hypatia-scan.yml

ci: bump actions/upload-artifact SHA to current v4 (#5)

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

327 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.