Skip to content

Actions: hyperpolymath/wokelangiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
169 workflow runs
169 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
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… CodeQL Security Analysis #169: Commit ba14fff pushed by hyperpolymath
2h 37m 56s main
main
2h 37m 56s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump CodeQL Security Analysis #168: Pull request #60 opened by hyperpolymath
2h 0m 36s fix/governance-gate-sweep
fix/governance-gate-sweep
2h 0m 36s
security: re-pin secret scanner onto the real gitleaks gate (#59) CodeQL Security Analysis #167: Commit 2760395 pushed by hyperpolymath
37m 27s main
main
37m 27s
security: re-pin secret scanner onto the real gitleaks gate CodeQL Security Analysis #166: Pull request #59 opened by hyperpolymath
43m 11s security/real-secret-gate
security/real-secret-gate
43m 11s
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