Skip to content

Actions: hyperpolymath/verisimiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
297 workflow runs
297 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
feat(abi): prove hash-chain integrity, version ordering & lineage acyclicity (Idris2) CodeQL Security Analysis #272: Pull request #173 opened by hyperpolymath
1m 43s claude/verisimiser-abi-proofs
claude/verisimiser-abi-proofs
1m 43s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + … CodeQL Security Analysis #271: Commit 5c1c44c pushed by hyperpolymath
1m 49s main
main
1m 49s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + CC-BY-SA-4.0 CodeQL Security Analysis #270: Pull request #172 opened by hyperpolymath
1m 40s claude/resolve-pr-167-jeczsh
claude/resolve-pr-167-jeczsh
1m 40s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#171) CodeQL Security Analysis #269: Commit 56e6c5f pushed by hyperpolymath
2h 33m 17s main
main
2h 33m 17s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #268: Pull request #171 opened by hyperpolymath
2h 32m 38s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2h 32m 38s
verisimiser: make ABI/FFI/codegen provably-real + honest docs (#167) CodeQL Security Analysis #267: Commit 86319db pushed by hyperpolymath
1m 54s main
main
1m 54s
verisimiser: make ABI/FFI/codegen provably-real + honest docs CodeQL Security Analysis #266: Pull request #167 synchronize by hyperpolymath
1m 55s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
1m 55s
verisimiser: make ABI/FFI/codegen provably-real + honest docs CodeQL Security Analysis #265: Pull request #167 synchronize by hyperpolymath
39s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
39s
P3: prove octad-model invariants as real bijections + sidecar isolati… CodeQL Security Analysis #264: Commit f4ea008 pushed by hyperpolymath
1m 41s main
main
1m 41s
P3: prove octad-model invariants as real bijections + sidecar isolation CodeQL Security Analysis #263: Pull request #168 synchronize by hyperpolymath
1m 59s claude/new-session-1fphit
claude/new-session-1fphit
1m 59s
P3: prove octad-model invariants as real bijections + sidecar isolation CodeQL Security Analysis #262: Pull request #168 opened by hyperpolymath
1m 40s claude/new-session-1fphit
claude/new-session-1fphit
1m 40s
P1: fix Zig FFI to compile under Zig 0.14.0 (#166) CodeQL Security Analysis #261: Commit 84162aa pushed by hyperpolymath
2m 27s main
main
2m 27s
P1: fix Zig FFI to compile under Zig 0.14.0 CodeQL Security Analysis #260: Pull request #166 opened by hyperpolymath
1m 40s claude/new-session-1fphit
claude/new-session-1fphit
1m 40s
Auto-install pinned Zig toolchain in setup + devcontainer (#165) CodeQL Security Analysis #259: Commit efd2291 pushed by hyperpolymath
7m 23s main
main
7m 23s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #258: Pull request #165 opened by hyperpolymath
4m 21s claude/new-session-1fphit
claude/new-session-1fphit
4m 21s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #257: Commit 6f9bdc2 pushed by hyperpolymath
5m 10s main
main
5m 10s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #256: Pull request #164 synchronize by hyperpolymath
1m 59s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 59s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #255: Pull request #164 opened by hyperpolymath
1m 49s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 49s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#163) CodeQL Security Analysis #254: Commit fe51a4a pushed by hyperpolymath
1m 46s main
main
1m 46s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #253: Pull request #163 opened by hyperpolymath
1m 53s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 53s
chore(ci): add dormant push-email notification workflow (#162) CodeQL Security Analysis #252: Commit 76d0573 pushed by hyperpolymath
21h 20m 58s main
main
21h 20m 58s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #251: Pull request #162 synchronize by hyperpolymath
21h 14m 23s chore/push-email-notify
chore/push-email-notify
21h 14m 23s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #250: Pull request #162 opened by hyperpolymath
11m 18s chore/push-email-notify
chore/push-email-notify
11m 18s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #249: Commit 89baf58 pushed by hyperpolymath
1h 13m 38s main
main
1h 13m 38s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #248: Pull request #161 opened by hyperpolymath
18h 36m 42s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 36m 42s