Skip to content

Actions: hyperpolymath/a2mliser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
141 workflow runs
141 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 #141: Commit 01ceff9 pushed by hyperpolymath
3h 22m 0s main
main
3h 22m 0s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump CodeQL Security Analysis #140: Pull request #46 opened by hyperpolymath
50s fix/governance-gate-sweep
fix/governance-gate-sweep
50s
security: re-pin secret scanner onto the real gitleaks gate (#45) CodeQL Security Analysis #139: Commit 0b044f8 pushed by hyperpolymath
51s main
main
51s
security: re-pin secret scanner onto the real gitleaks gate CodeQL Security Analysis #138: Pull request #45 opened by hyperpolymath
46s security/real-secret-gate
security/real-secret-gate
46s
CodeQL Security Analysis CodeQL Security Analysis #137: Scheduled
45s main
main
45s
CodeQL Security Analysis CodeQL Security Analysis #136: Scheduled
41s main
main
41s
fix(ci): grant secret-scanner reusable its requested job permissions … CodeQL Security Analysis #135: Commit e185099 pushed by hyperpolymath
45s main
main
45s
fix(ci): grant secret-scanner reusable its requested job permissions CodeQL Security Analysis #134: Pull request #44 opened by hyperpolymath
47s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
47s
fix(ci): clear OSSF Scorecard startup_failure (#43) CodeQL Security Analysis #133: Commit 9e7ae73 pushed by hyperpolymath
54m 45s main
main
54m 45s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #132: Pull request #43 opened by hyperpolymath
46s fix/scorecard-caller-startup
fix/scorecard-caller-startup
46s
CodeQL Security Analysis CodeQL Security Analysis #131: Scheduled
40s main
main
40s
fix(clade): correct identity uuid (deterministic v5) (#42) CodeQL Security Analysis #130: Commit d266710 pushed by hyperpolymath
1m 23s main
main
1m 23s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #129: Pull request #42 opened by hyperpolymath
1m 7s fix/clade-uuid
fix/clade-uuid
1m 7s
CodeQL Security Analysis CodeQL Security Analysis #128: Scheduled
50s main
main
50s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #127: Commit c2bdb0b pushed by hyperpolymath
48s main
main
48s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #126: Pull request #41 synchronize by hyperpolymath
59s claude/new-session-znxgm7
claude/new-session-znxgm7
59s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #125: Pull request #41 opened by hyperpolymath
43s claude/new-session-znxgm7
claude/new-session-znxgm7
43s
ABI Layer 5: end-to-end soundness capstone certificate (#40) CodeQL Security Analysis #124: Commit 6ebff5a pushed by hyperpolymath
43s main
main
43s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #123: Pull request #40 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 #122: Commit 2127e18 pushed by hyperpolymath
44s main
main
44s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #121: Pull request #39 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 3: attestation determinism, idempotence + issue→verify roun… CodeQL Security Analysis #120: Commit 8b97dda pushed by hyperpolymath
49s main
main
49s
ABI Layer 3: attestation determinism, idempotence + issue→verify round-trip CodeQL Security Analysis #119: Pull request #38 synchronize by hyperpolymath
1m 2s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 2s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — … CodeQL Security Analysis #118: Commit 8af3b8c pushed by hyperpolymath
40s main
main
40s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — flagship Idris2 proof CodeQL Security Analysis #117: Pull request #37 opened by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s