Skip to content

Actions: hyperpolymath/alloyiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
156 workflow runs
156 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 #156: Commit 2f9f09a pushed by hyperpolymath
3h 17m 40s main
main
3h 17m 40s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump CodeQL Security Analysis #155: Pull request #52 opened by hyperpolymath
2m 33s fix/governance-gate-sweep
fix/governance-gate-sweep
2m 33s
security: re-pin secret scanner onto the real gitleaks gate (#51) CodeQL Security Analysis #154: Commit dee2ad5 pushed by hyperpolymath
37m 14s main
main
37m 14s
security: re-pin secret scanner onto the real gitleaks gate CodeQL Security Analysis #153: Pull request #51 opened by hyperpolymath
51s security/real-secret-gate
security/real-secret-gate
51s
CodeQL Security Analysis CodeQL Security Analysis #152: Scheduled
43s main
main
43s
CodeQL Security Analysis CodeQL Security Analysis #151: Scheduled
48s main
main
48s
ci: Secret Scanner caller must grant the reusable's job permissions (… CodeQL Security Analysis #150: Commit f71c96b pushed by hyperpolymath
34m 11s main
main
34m 11s
ci: Secret Scanner caller must grant the reusable's job permissions CodeQL Security Analysis #149: Pull request #50 opened by hyperpolymath
46s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
46s
fix(ci): clear OSSF Scorecard startup_failure (#49) CodeQL Security Analysis #148: Commit 9a1efbd pushed by hyperpolymath
47s main
main
47s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #147: Pull request #49 opened by hyperpolymath
47s fix/scorecard-caller-startup
fix/scorecard-caller-startup
47s
CodeQL Security Analysis CodeQL Security Analysis #146: Scheduled
45s main
main
45s
fix(clade): correct identity uuid (deterministic v5) (#48) CodeQL Security Analysis #145: Commit 3abdd1a pushed by hyperpolymath
1m 32s main
main
1m 32s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #144: Pull request #48 opened by hyperpolymath
1m 48s fix/clade-uuid
fix/clade-uuid
1m 48s
CodeQL Security Analysis CodeQL Security Analysis #143: Scheduled
38s main
main
38s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #142: Commit 9437b92 pushed by hyperpolymath
43s main
main
43s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #141: Pull request #47 synchronize by hyperpolymath
1m 2s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 2s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #140: Pull request #47 opened by hyperpolymath
37s claude/new-session-znxgm7
claude/new-session-znxgm7
37s
ABI Layer 5: end-to-end soundness capstone certificate (#46) CodeQL Security Analysis #139: Commit 27590b6 pushed by hyperpolymath
43s main
main
43s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #138: Pull request #46 synchronize by hyperpolymath
1m 0s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 0s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #137: Commit 764a7f8 pushed by hyperpolymath
45s main
main
45s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #136: Pull request #45 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 3: multiplicity subsumption — one entails lone (#44) CodeQL Security Analysis #135: Commit e23f89c pushed by hyperpolymath
52s main
main
52s
ABI Layer 3: multiplicity subsumption — one entails lone CodeQL Security Analysis #134: Pull request #44 synchronize by hyperpolymath
59s claude/new-session-znxgm7
claude/new-session-znxgm7
59s
ABI Layer 2: prove Alloy one-multiplicity constraint — flagship Idr… CodeQL Security Analysis #133: Commit da7c8ee pushed by hyperpolymath
41s main
main
41s
ABI Layer 2: prove Alloy one-multiplicity constraint — flagship Idris2 proof CodeQL Security Analysis #132: Pull request #43 opened by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s