Skip to content

Actions: hyperpolymath/typedqliser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
155 workflow runs
155 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
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #130: Commit 5957feb pushed by hyperpolymath
42s main
main
42s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #129: Pull request #38 synchronize by hyperpolymath
1m 5s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 5s
ABI Layer 3: NullSafe (level 4) — a deeper, context-sensitive query-s… CodeQL Security Analysis #128: Commit b55c2b7 pushed by hyperpolymath
47s main
main
47s
ABI Layer 3: NullSafe (level 4) — a deeper, context-sensitive query-safety checker CodeQL Security Analysis #127: Pull request #37 synchronize by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
P3: prove TypeCompat (level 3) as a real operand-type-compatibility g… CodeQL Security Analysis #126: Commit 592255d pushed by hyperpolymath
50s main
main
50s
P3: prove TypeCompat (level 3) as a real operand-type-compatibility guarantee CodeQL Security Analysis #125: Pull request #36 synchronize by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
P3: prove SchemaBound (level 2) as a real schema-resolution guarantee… CodeQL Security Analysis #124: Commit 0b4089c pushed by hyperpolymath
44s main
main
44s
P3: prove SchemaBound (level 2) as a real schema-resolution guarantee CodeQL Security Analysis #123: Pull request #35 opened by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#34) CodeQL Security Analysis #122: Commit 6d367ae pushed by hyperpolymath
2h 24m 8s main
main
2h 24m 8s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #121: Pull request #34 opened by hyperpolymath
2h 23m 39s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2h 23m 39s
P3: prove InjectionFree (level 5) as a real query-checking guarantee … CodeQL Security Analysis #120: Commit a03cd3d pushed by hyperpolymath
45s main
main
45s
P3: prove InjectionFree (level 5) as a real query-checking guarantee CodeQL Security Analysis #119: Pull request #33 opened by hyperpolymath
49s claude/new-session-1fphit
claude/new-session-1fphit
49s
P1: implement missing FFI functions + fix result-code semantics (#32) CodeQL Security Analysis #118: Commit 4b1839b pushed by hyperpolymath
1m 35s main
main
1m 35s
P1: implement missing FFI functions + fix result-code semantics CodeQL Security Analysis #117: Pull request #32 opened by hyperpolymath
44s claude/new-session-1fphit
claude/new-session-1fphit
44s
Auto-install pinned Zig toolchain in setup + devcontainer (#31) CodeQL Security Analysis #116: Commit 62bfa85 pushed by hyperpolymath
6m 46s main
main
6m 46s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #115: Pull request #31 opened by hyperpolymath
3m 2s claude/new-session-1fphit
claude/new-session-1fphit
3m 2s
ABI: scaffold a real, verified Idris2 ABI (10 type-safety levels) (#30) CodeQL Security Analysis #114: Commit a98c5cb pushed by hyperpolymath
44s main
main
44s
ABI: scaffold a real, verified Idris2 ABI (10 type-safety levels) CodeQL Security Analysis #113: Pull request #30 opened by hyperpolymath
44s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
44s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#29) CodeQL Security Analysis #112: Commit 2de8295 pushed by hyperpolymath
44s main
main
44s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #111: Pull request #29 opened by hyperpolymath
1m 7s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 7s
chore(ci): add dormant push-email notification workflow (#28) CodeQL Security Analysis #110: Commit 6e2a1ad pushed by hyperpolymath
20h 45m 15s main
main
20h 45m 15s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #109: Pull request #28 opened by hyperpolymath
20h 26m 21s chore/push-email-notify
chore/push-email-notify
20h 26m 21s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#27) CodeQL Security Analysis #108: Commit 799bafe pushed by hyperpolymath
1h 5m 59s main
main
1h 5m 59s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #107: Pull request #27 opened by hyperpolymath
18h 19m 56s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 19m 56s
chore(clade): backfill [status] lifecycle block (default active) (#26) CodeQL Security Analysis #106: Commit 5800e0a pushed by hyperpolymath
46m 46s main
main
46m 46s