Skip to content

Actions: hyperpolymath/lustreiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
142 workflow runs
142 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 #142: Commit 457d1f7 pushed by hyperpolymath
3h 1m 32s main
main
3h 1m 32s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump CodeQL Security Analysis #141: Pull request #47 opened by hyperpolymath
43m 57s fix/governance-gate-sweep
fix/governance-gate-sweep
43m 57s
security: re-pin secret scanner onto the real gitleaks gate (#46) CodeQL Security Analysis #140: Commit cd0f985 pushed by hyperpolymath
17m 37s main
main
17m 37s
security: re-pin secret scanner onto the real gitleaks gate CodeQL Security Analysis #139: Pull request #46 opened by hyperpolymath
4m 27s security/real-secret-gate
security/real-secret-gate
4m 27s
CodeQL Security Analysis CodeQL Security Analysis #138: Scheduled
43s main
main
43s
CodeQL Security Analysis CodeQL Security Analysis #137: Scheduled
50s main
main
50s
ci: Secret Scanner caller must grant the reusable's job permissions (… CodeQL Security Analysis #136: Commit 0abedb6 pushed by hyperpolymath
21m 34s main
main
21m 34s
ci: Secret Scanner caller must grant the reusable's job permissions CodeQL Security Analysis #135: Pull request #45 opened by hyperpolymath
1m 20s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
1m 20s
fix(ci): clear OSSF Scorecard startup_failure (#44) CodeQL Security Analysis #134: Commit 933e31a pushed by hyperpolymath
48m 48s main
main
48m 48s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #133: Pull request #44 opened by hyperpolymath
6m 1s fix/scorecard-caller-startup
fix/scorecard-caller-startup
6m 1s
CodeQL Security Analysis CodeQL Security Analysis #132: Scheduled
48s main
main
48s
fix(clade): correct identity uuid (deterministic v5) (#43) CodeQL Security Analysis #131: Commit 1e836f0 pushed by hyperpolymath
5m 4s main
main
5m 4s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #130: Pull request #43 opened by hyperpolymath
5m 19s fix/clade-uuid
fix/clade-uuid
5m 19s
CodeQL Security Analysis CodeQL Security Analysis #129: Scheduled
53s main
main
53s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #128: Commit 14d34e9 pushed by hyperpolymath
43s main
main
43s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #127: Pull request #42 synchronize by hyperpolymath
1m 9s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 9s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #126: Pull request #42 opened by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
ABI Layer 5: end-to-end soundness capstone certificate (#41) CodeQL Security Analysis #125: Commit b3d0283 pushed by hyperpolymath
39s main
main
39s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #124: Pull request #41 synchronize by hyperpolymath
41s claude/new-session-znxgm7
claude/new-session-znxgm7
41s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #123: Commit 88cbfa1 pushed by hyperpolymath
41s main
main
41s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #122: Pull request #40 synchronize by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ABI Layer 3: run is a left monoid action of the input stream (runAppe… CodeQL Security Analysis #121: Commit 7d8f846 pushed by hyperpolymath
2m 3s main
main
2m 3s
ABI Layer 3: run is a left monoid action of the input stream (runAppend) CodeQL Security Analysis #120: Pull request #39 synchronize by hyperpolymath
55s claude/new-session-znxgm7
claude/new-session-znxgm7
55s
abi(semantics): prove saturating-counter node invariant + determinism… CodeQL Security Analysis #119: Commit 9af03a4 pushed by hyperpolymath
54s main
main
54s
ABI Layer 2: prove counter-node bound invariant + determinism — flagship Idris2 proof CodeQL Security Analysis #118: Pull request #38 opened by hyperpolymath
53s claude/new-session-znxgm7
claude/new-session-znxgm7
53s