Skip to content

Actions: hyperpolymath/phronesiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
136 workflow runs
136 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
security: re-pin secret scanner onto the real gitleaks gate (#41) CodeQL Security Analysis #136: Commit dd0f564 pushed by hyperpolymath
23m 51s main
main
23m 51s
security: re-pin secret scanner onto the real gitleaks gate CodeQL Security Analysis #135: Pull request #41 opened by hyperpolymath
11m 6s security/real-secret-gate
security/real-secret-gate
11m 6s
CodeQL Security Analysis CodeQL Security Analysis #134: Scheduled
43s main
main
43s
CodeQL Security Analysis CodeQL Security Analysis #133: Scheduled
44s main
main
44s
ci: Secret Scanner caller must grant the reusable's job permissions (… CodeQL Security Analysis #132: Commit bef19ee pushed by hyperpolymath
12m 4s main
main
12m 4s
ci: Secret Scanner caller must grant the reusable's job permissions CodeQL Security Analysis #131: Pull request #40 opened by hyperpolymath
3m 29s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
3m 29s
fix(ci): clear OSSF Scorecard startup_failure (#39) CodeQL Security Analysis #130: Commit c0d8462 pushed by hyperpolymath
46m 54s main
main
46m 54s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #129: Pull request #39 opened by hyperpolymath
6m 31s fix/scorecard-caller-startup
fix/scorecard-caller-startup
6m 31s
CodeQL Security Analysis CodeQL Security Analysis #128: Scheduled
48s main
main
48s
fix(clade): correct identity uuid (deterministic v5) (#38) CodeQL Security Analysis #127: Commit 048e21c pushed by hyperpolymath
7m 57s main
main
7m 57s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #126: Pull request #38 opened by hyperpolymath
8m 6s fix/clade-uuid
fix/clade-uuid
8m 6s
CodeQL Security Analysis CodeQL Security Analysis #125: Scheduled
39s main
main
39s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #124: Commit 5093644 pushed by hyperpolymath
1m 2s main
main
1m 2s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #123: Pull request #37 synchronize by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #122: Pull request #37 synchronize by hyperpolymath
50s claude/new-session-znxgm7
claude/new-session-znxgm7
50s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #121: Pull request #37 opened by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ABI Layer 5: end-to-end soundness capstone certificate (#36) CodeQL Security Analysis #120: Commit c97ba30 pushed by hyperpolymath
45s main
main
45s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #119: Pull request #36 synchronize by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #118: Commit 039fe39 pushed by hyperpolymath
38s main
main
38s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #117: Pull request #35 synchronize by hyperpolymath
38s claude/new-session-znxgm7
claude/new-session-znxgm7
38s
ABI Layer 3: monotone safety under policy composition (#34) CodeQL Security Analysis #116: Commit 9d8062b pushed by hyperpolymath
2m 44s main
main
2m 44s
ABI Layer 3: monotone safety under policy composition CodeQL Security Analysis #115: Pull request #34 synchronize by hyperpolymath
1m 8s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 8s
ABI Layer 2: prove forbidden actions are never permitted (ethical saf… CodeQL Security Analysis #114: Commit 1a0ad20 pushed by hyperpolymath
44s main
main
44s
ABI Layer 2: prove forbidden actions are never permitted (ethical safety) — flagship Idris2 proof CodeQL Security Analysis #113: Pull request #33 opened by hyperpolymath
59s claude/new-session-znxgm7
claude/new-session-znxgm7
59s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#32) CodeQL Security Analysis #112: Commit 31f6d0c pushed by hyperpolymath
1h 47m 9s main
main
1h 47m 9s