Skip to content

Actions: hyperpolymath/wokelangiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
240 workflow runs
240 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
CodeQL Security Analysis CodeQL Security Analysis #165: Scheduled
2m 1s main
main
2m 1s
CodeQL Security Analysis CodeQL Security Analysis #164: Scheduled
1m 46s main
main
1m 46s
fix(ci): clear OSSF Scorecard startup_failure (#58) CodeQL Security Analysis #163: Commit 58c50a5 pushed by hyperpolymath
36m 35s main
main
36m 35s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #162: Pull request #58 opened by hyperpolymath
21m 36s fix/scorecard-caller-startup
fix/scorecard-caller-startup
21m 36s
CodeQL Security Analysis CodeQL Security Analysis #161: Scheduled
1m 39s main
main
1m 39s
CodeQL Security Analysis CodeQL Security Analysis #160: Scheduled
1m 43s main
main
1m 43s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#57) CodeQL Security Analysis #159: Commit d024028 pushed by hyperpolymath
1m 58s main
main
1m 58s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy CodeQL Security Analysis #158: Pull request #57 synchronize by hyperpolymath
1m 47s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 47s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy CodeQL Security Analysis #157: Pull request #57 opened by hyperpolymath
1m 42s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 42s
ABI Layer 5: end-to-end soundness capstone certificate (#56) CodeQL Security Analysis #156: Commit a24a2cf pushed by hyperpolymath
1m 37s main
main
1m 37s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #155: Pull request #56 synchronize by hyperpolymath
1m 45s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 45s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #154: Commit 4e6560c pushed by hyperpolymath
1m 43s main
main
1m 43s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #153: Pull request #55 synchronize by hyperpolymath
1m 43s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 43s
ABI Layer 3: consent withdrawal (revocation removes permission) (#54) CodeQL Security Analysis #152: Commit de7135c pushed by hyperpolymath
1m 44s main
main
1m 44s
ABI Layer 3: consent withdrawal (revocation removes permission) CodeQL Security Analysis #151: Pull request #54 synchronize by hyperpolymath
1m 36s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 36s
ABI Layer 2: prove consent-gated data actions — flagship Idris2 proof… CodeQL Security Analysis #150: Commit f5025ed pushed by hyperpolymath
2m 10s main
main
2m 10s
ABI Layer 2: prove consent-gated data actions — flagship Idris2 proof CodeQL Security Analysis #149: Pull request #53 opened by hyperpolymath
1m 58s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 58s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#52) CodeQL Security Analysis #148: Commit bd99b31 pushed by hyperpolymath
2h 36m 45s main
main
2h 36m 45s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #147: Pull request #52 opened by hyperpolymath
2h 35m 47s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2h 35m 47s
P1: fix Zig FFI to build and match the Idris2 ABI (#51) CodeQL Security Analysis #146: Commit 77eb4b8 pushed by hyperpolymath
2m 47s main
main
2m 47s
P1: fix Zig FFI to build and match the Idris2 ABI CodeQL Security Analysis #145: Pull request #51 opened by hyperpolymath
1m 43s claude/new-session-1fphit
claude/new-session-1fphit
1m 43s
Auto-install pinned Zig toolchain in setup + devcontainer (#50) CodeQL Security Analysis #144: Commit 56e0806 pushed by hyperpolymath
8m 39s main
main
8m 39s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #143: Pull request #50 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 #142: Commit 2c12d32 pushed by hyperpolymath
3m 7s main
main
3m 7s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #141: Pull request #49 opened by hyperpolymath
1m 26s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 26s