CodeQL Security Analysis

codeql.yml

880 workflow runs

docs+config: ADRs + session history + FFI CI runbook (#147/#148/#149 wrap-up)
completed successfully:
CodeQL Security Analysis#655:Pull request#152openedbyhyperpolymath
claude/ecstatic-johnson-ViodM
Jun 1, 20261m 19s
ci+proof: fix proof-check gate + repair 5 never-compiled proofs (#148)
completed successfully:
CodeQL Security Analysis#654:Commite4759a5pushedbyhyperpolymath
main
Jun 1, 20261m 15s
ci+proof: fix proof-check gate, repair 5 never-compiled proofs (green main; #145)
completed successfully:
CodeQL Security Analysis#653:Pull request#148synchronizebyhyperpolymath
ci/idris-proof-gate-145
Jun 1, 20261m 0s
ci+licence: fix e2e Zig toolchain + standalone build + trustfile SPDX…
completed successfully:
CodeQL Security Analysis#652:Commit9c33f00pushedbyhyperpolymath
main
Jun 1, 20261m 21s
ci+licence: fix e2e Zig toolchain (→0.15.2/mlugg) + trustfile SPDX on fuzz README
completed successfully:
CodeQL Security Analysis#651:Pull request#149synchronizebyhyperpolymath
claude/ecstatic-johnson-ViodM
Jun 1, 20261m 9s
ci+licence: fix e2e Zig toolchain (→0.15.2/mlugg) + trustfile SPDX on fuzz README
completed successfully:
CodeQL Security Analysis#650:Pull request#149openedbyhyperpolymath
claude/ecstatic-johnson-ViodM
Jun 1, 20261m 6s
ci+proof: fix proof-check gate, repair 5 never-compiled proofs (green main; #145)
completed successfully:
CodeQL Security Analysis#649:Pull request#148synchronizebyhyperpolymath
ci/idris-proof-gate-145
Jun 1, 20261m 8s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#648:Scheduled
main
Jun 1, 20261m 18s
ci(idris): add fast proof-check gate over all Proofs.idr (#145) (#147)
completed successfully:
CodeQL Security Analysis#647:Commitc54d0c3pushedbyhyperpolymath
main
May 31, 20261h 23m 26s
ci(idris): add fast proof-check gate over all Proofs.idr (#145)
completed successfully:
CodeQL Security Analysis#646:Pull request#147openedbyhyperpolymath
ci/idris-proof-gate-145
May 31, 20265h 59m 20s
chore(state): record #144 SafeJson discharges + #145 CI-gating findin…
completed successfully:
CodeQL Security Analysis#645:Commitdc1502fpushedbyhyperpolymath
main
May 31, 20266h 4m 55s
chore(state): record #144 SafeJson discharges + #145 CI-gating finding
completed successfully:
CodeQL Security Analysis#644:Pull request#146openedbyhyperpolymath
claude/ecstatic-johnson-ViodM
May 31, 20266h 5m 22s
proof(SafeJson): fix appendLengthInc so the module compiles (complete…
cancelled:
CodeQL Security Analysis#643:Commita506884pushedbyhyperpolymath
main
May 31, 202628m 37s
proof(SafeJson): DISCHARGE 4 object-key OWEDs via DecEq carrier refac…
cancelled:
CodeQL Security Analysis#642:Commit4a64719pushedbyhyperpolymath
main
May 31, 202625s
proof(SafePassword): DISCHARGE withMinLengthCorrect via nested constr…
cancelled:
CodeQL Security Analysis#641:Commitc83e078pushedbyhyperpolymath
main
May 31, 20261m 19s
proof(SafeEmail): DISCHARGE combineValidValid via constructor pattern…
cancelled:
CodeQL Security Analysis#640:Commit9f7fd41pushedbyhyperpolymath
main
May 31, 20264s
fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig bui…
cancelled:
CodeQL Security Analysis#639:Commitd09d822pushedbyhyperpolymath
main
May 31, 20264m 4s
fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig build fix
completed successfully:
CodeQL Security Analysis#638:Pull request#141synchronizebyhyperpolymath
fix/chapel-binding-typecheck-and-wired-build
May 31, 20266h 28m 39s
proof(SafeJson): fix appendLengthInc so the module compiles (completes #138)
completed successfully:
CodeQL Security Analysis#637:Pull request#144synchronizebyhyperpolymath
claude/ecstatic-johnson-ViodM
May 31, 20266h 40m 13s
fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig build fix
cancelled:
CodeQL Security Analysis#636:Pull request#141synchronizebyhyperpolymath
fix/chapel-binding-typecheck-and-wired-build
May 30, 20266h 29m 48s
fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig build fix
cancelled:
CodeQL Security Analysis#635:Pull request#141synchronizebyhyperpolymath
fix/chapel-binding-typecheck-and-wired-build
May 30, 20266m 41s
fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig build fix
cancelled:
CodeQL Security Analysis#634:Pull request#141synchronizebyhyperpolymath
fix/chapel-binding-typecheck-and-wired-build
May 30, 202620m 10s
proof(SafeJson): fix appendLengthInc so the module compiles (completes #138)
cancelled:
CodeQL Security Analysis#633:Pull request#144openedbyhyperpolymath
claude/ecstatic-johnson-ViodM
May 30, 20266h 45m 19s
proof(SafePassword): DISCHARGE withMinLengthCorrect via nested constructor case-split
completed successfully:
CodeQL Security Analysis#632:Pull request#143openedbyhyperpolymath
proof/safepassword-builder-explicit-ctor
May 30, 202612h 46m 52s
proof(SafeEmail): DISCHARGE combineValidValid via constructor pattern + Refl premise
completed successfully:
CodeQL Security Analysis#631:Pull request#142openedbyhyperpolymath
proof/safeemail-combine-valid-valid
May 30, 202612h 53m 28s

Navigation Menu

CodeQL Security Analysis

880 workflow runs

docs+config: ADRs + session history + FFI CI runbook (#147/#148/#149 wrap-up)

ci+proof: fix proof-check gate + repair 5 never-compiled proofs (#148)

ci+proof: fix proof-check gate, repair 5 never-compiled proofs (green main; #145)

ci+licence: fix e2e Zig toolchain + standalone build + trustfile SPDX…

ci+licence: fix e2e Zig toolchain (→0.15.2/mlugg) + trustfile SPDX on fuzz README

ci+licence: fix e2e Zig toolchain (→0.15.2/mlugg) + trustfile SPDX on fuzz README

ci+proof: fix proof-check gate, repair 5 never-compiled proofs (green main; #145)

CodeQL Security Analysis

ci(idris): add fast proof-check gate over all Proofs.idr (#145) (#147)

ci(idris): add fast proof-check gate over all Proofs.idr (#145)

chore(state): record #144 SafeJson discharges + #145 CI-gating findin…

chore(state): record #144 SafeJson discharges + #145 CI-gating finding

proof(SafeJson): fix appendLengthInc so the module compiles (complete…

proof(SafeJson): DISCHARGE 4 object-key OWEDs via DecEq carrier refac…

proof(SafePassword): DISCHARGE withMinLengthCorrect via nested constr…

proof(SafeEmail): DISCHARGE combineValidValid via constructor pattern…

fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig bui…

fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig build fix

proof(SafeJson): fix appendLengthInc so the module compiles (completes #138)

fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig build fix

fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig build fix

fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig build fix

proof(SafeJson): fix appendLengthInc so the module compiles (completes #138)

proof(SafePassword): DISCHARGE withMinLengthCorrect via nested constructor case-split

proof(SafeEmail): DISCHARGE combineValidValid via constructor pattern + Refl premise

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

880 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.