Skip to content

Actions: hyperpolymath/iseriser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
108 workflow runs
108 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
revert(scaffold): remove wrong-place adapter emission (standards#89 s… CodeQL Security Analysis #83: Commit c2d0664 pushed by hyperpolymath
40s main
main
40s
revert(scaffold): drop wrong-place adapter emission (standards#90) CodeQL Security Analysis #82: Pull request #23 opened by hyperpolymath
35s revert-adapter-emission
revert-adapter-emission
35s
fix(abi-verify): tolerate non-canonical Zig switch arm false shorth… CodeQL Security Analysis #81: Commit a644b03 pushed by hyperpolymath
37s main
main
37s
fix(abi-verify): tolerate non-canonical Zig switch arm false shorthand CodeQL Security Analysis #80: Pull request #22 opened by hyperpolymath
43s fix/abi-verify-tolerate-false-arm
fix/abi-verify-tolerate-false-arm
43s
fix(abi): accept runtogether form for multi-cap acronym variants (ise… CodeQL Security Analysis #79: Commit 17c7ca7 pushed by hyperpolymath
1m 3s main
main
1m 3s
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