Skip to content

Actions: hyperpolymath/iseriser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
103 workflow runs
103 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
fix(abi-emit-manifest): skip GADT-style data … where declarations (… CodeQL Security Analysis #78: Commit 3f06d72 pushed by hyperpolymath
16s main
main
16s
fix(abi): accept runtogether form for multi-cap acronym variants CodeQL Security Analysis #77: Pull request #21 opened by hyperpolymath
43s fix/abi-multicap-runtogether-candidate
fix/abi-multicap-runtogether-candidate
43s
fix(abi-emit-manifest): skip GADT-style data … where declarations CodeQL Security Analysis #76: Pull request #20 opened by hyperpolymath
47s fix/abi-emit-skip-gadt-data
fix/abi-emit-skip-gadt-data
47s
docs(readme): list iseriser CLI subcommands incl. abi-verify + abi-em… CodeQL Security Analysis #75: Commit 84f9e31 pushed by hyperpolymath
39s main
main
39s
docs(readme): list iseriser CLI subcommands incl. abi-verify + abi-emit-manifest CodeQL Security Analysis #74: Pull request #16 opened by hyperpolymath
36s docs/readme-abi-subcommands
docs/readme-abi-subcommands
36s
feat(abi-verify): teach the converter Zig reserved words (standards#9… CodeQL Security Analysis #73: Commit 570d337 pushed by hyperpolymath
1m 36s main
main
1m 36s
feat(abi-verify): teach the converter Zig reserved words (standards#92 follow-up) CodeQL Security Analysis #72: Pull request #15 opened by hyperpolymath
41s feat/zig-reserved-word-converter
feat/zig-reserved-word-converter
41s
feat(abi-emit-manifest): emit ABI manifest from Idris2 source (standa… CodeQL Security Analysis #71: Commit aa2484c pushed by hyperpolymath
41s main
main
41s
feat(abi-emit-manifest): emit ABI manifest from Idris2 source (standards#92 Phase 1b) CodeQL Security Analysis #70: Pull request #14 opened by hyperpolymath
42s feat/abi-verify-phase1b-emitter
feat/abi-verify-phase1b-emitter
42s
feat(abi-verify): structural ABI gate — Idris2 manifest ↔ Zig FFI dif… CodeQL Security Analysis #69: Commit 89cbe0c pushed by hyperpolymath
1m 13s main
main
1m 13s
feat(abi-verify): structural ABI gate — Idris2 manifest ↔ Zig FFI diff (standards#92 Phase 1) CodeQL Security Analysis #68: Pull request #13 opened by hyperpolymath
44s feat/abi-verify-phase1
feat/abi-verify-phase1
44s
feat(scaffold): add unified-gated-adapter + SSE + *-regen.yml (standa… CodeQL Security Analysis #67: Commit 109b656 pushed by hyperpolymath
2h 21m 35s main
main
2h 21m 35s
feat(scaffold): add unified-gated-adapter + SSE + *-regen.yml (standards#89 sub-issue 1) CodeQL Security Analysis #66: Pull request #12 opened by hyperpolymath
1h 31m 32s feat/scaffold-regen-adapter-sse
feat/scaffold-regen-adapter-sse
1h 31m 32s
ci: redistribute concurrency-cancel guard to read-only check workflow… CodeQL Security Analysis #65: Commit 395fb45 pushed by hyperpolymath
15h 11m 14s main
main
15h 11m 14s
ci: redistribute concurrency-cancel guard to read-only check workflows CodeQL Security Analysis #64: Pull request #11 opened by hyperpolymath
15h 19m 34s sweep/standards-122-concurrency
sweep/standards-122-concurrency
15h 19m 34s
CodeQL Security Analysis CodeQL Security Analysis #63: Scheduled
31m 29s main
main
31m 29s
harden(ci): concurrency-cancel guard on canonical check workflows (#10) CodeQL Security Analysis #62: Commit 6f232d1 pushed by hyperpolymath
39m 35s main
main
39m 35s
harden(ci): concurrency-cancel guard on canonical check workflows CodeQL Security Analysis #61: Pull request #10 opened by hyperpolymath
6h 14m 0s harden/ci-concurrency-estate-2026-05-18
harden/ci-concurrency-estate-2026-05-18
6h 14m 0s
fix(ci): bump a2ml/k9-validate-action pins to canonical (standards#85… CodeQL Security Analysis #60: Commit 15fb589 pushed by hyperpolymath
23h 32m 58s main
main
23h 32m 58s
fix(ci): bump a2ml/k9-validate-action pins to canonical CodeQL Security Analysis #59: Pull request #9 opened by hyperpolymath
23h 32m 32s fix/ci-dogfood-pins-standards-85
fix/ci-dogfood-pins-standards-85
23h 32m 32s
fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SA… CodeQL Security Analysis #58: Commit 7f46ff3 pushed by hyperpolymath
1d 0h 0m 2s main
main
1d 0h 0m 2s
fix(ci): sync hypatia-scan.yml to canonical CodeQL Security Analysis #57: Pull request #8 opened by hyperpolymath
1d 0h 0m 2s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
1d 0h 0m 2s
chore(ci): replace per-repo governance copies with shared bundle wrapper CodeQL Security Analysis #56: Commit 4d67632 pushed by hyperpolymath
11h 23m 14s main
main
11h 23m 14s
fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + … CodeQL Security Analysis #55: Commit 58f5405 pushed by hyperpolymath
55m 13s main
main
55m 13s
fix(ci): adopt canonical hypatia-scan.yml CodeQL Security Analysis #54: Pull request #6 opened by hyperpolymath
54m 59s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
54m 59s