Skip to content

Actions: hyperpolymath/oblibeniser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
117 workflow runs
117 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
ci: make CI genuinely green — rust-ci toolchain pin (#35) CodeQL Security Analysis #117: Commit 756a0b2 pushed by hyperpolymath
42s main
main
42s
ci: make CI genuinely green — rust-ci toolchain pin CodeQL Security Analysis #116: Pull request #35 synchronize by hyperpolymath
56s claude/new-session-znxgm7
claude/new-session-znxgm7
56s
ci: make CI genuinely green — rust-ci toolchain pin CodeQL Security Analysis #115: Pull request #35 opened by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ABI Layer 5: end-to-end soundness capstone certificate (#34) CodeQL Security Analysis #114: Commit 069f62c pushed by hyperpolymath
38s main
main
38s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #113: Pull request #34 synchronize by hyperpolymath
42s claude/new-session-znxgm7
claude/new-session-znxgm7
42s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #112: Commit 7c5e848 pushed by hyperpolymath
44s main
main
44s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #111: Pull request #33 synchronize by hyperpolymath
1m 2s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 2s
ABI Layer 3: reversible operations form a group (modulo denotational … CodeQL Security Analysis #110: Commit a9d2af7 pushed by hyperpolymath
2m 4s main
main
2m 4s
ABI Layer 3: reversible operations form a group (modulo denotational equivalence) CodeQL Security Analysis #109: Pull request #32 synchronize by hyperpolymath
54s claude/new-session-znxgm7
claude/new-session-znxgm7
54s
ABI Layer 2: prove operation reversibility (round-trip law) — flagshi… CodeQL Security Analysis #108: Commit e921fd6 pushed by hyperpolymath
1m 29s main
main
1m 29s
ABI Layer 2: prove operation reversibility (round-trip law) — flagship Idris2 proof CodeQL Security Analysis #107: Pull request #31 opened by hyperpolymath
41s claude/new-session-znxgm7
claude/new-session-znxgm7
41s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#30) CodeQL Security Analysis #106: Commit 2d43666 pushed by hyperpolymath
1h 33m 51s main
main
1h 33m 51s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #105: Pull request #30 opened by hyperpolymath
1h 32m 15s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 32m 15s
P1: fix Zig FFI to build and match the Idris2 ABI (#29) CodeQL Security Analysis #104: Commit f42c879 pushed by hyperpolymath
1m 3s main
main
1m 3s
P1: fix Zig FFI to build and match the Idris2 ABI CodeQL Security Analysis #103: Pull request #29 opened by hyperpolymath
37s claude/new-session-1fphit
claude/new-session-1fphit
37s
Auto-install pinned Zig toolchain in setup + devcontainer (#28) CodeQL Security Analysis #102: Commit 74d25e3 pushed by hyperpolymath
6m 3s main
main
6m 3s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #101: Pull request #28 opened by hyperpolymath
2m 19s claude/new-session-1fphit
claude/new-session-1fphit
2m 19s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #100: Commit a676ed9 pushed by hyperpolymath
54s main
main
54s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #99: Pull request #27 synchronize by hyperpolymath
45s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
45s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #98: Pull request #27 opened by hyperpolymath
47s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
47s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#26) CodeQL Security Analysis #97: Commit 42575df pushed by hyperpolymath
2m 10s main
main
2m 10s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #96: Pull request #26 opened by hyperpolymath
52s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
52s
chore(clade): backfill [status] lifecycle block (#24) CodeQL Security Analysis #95: Commit ee82745 pushed by hyperpolymath
21h 4m 33s main
main
21h 4m 33s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #94: Pull request #24 synchronize by hyperpolymath
21h 7m 34s chore/clade-status-backfill
chore/clade-status-backfill
21h 7m 34s
chore(ci): add dormant push-email notification workflow (#25) CodeQL Security Analysis #93: Commit 20f5c86 pushed by hyperpolymath
2m 33s main
main
2m 33s