Skip to content

Actions: hyperpolymath/phronesiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
127 workflow runs
127 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(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
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #111: Pull request #32 opened by hyperpolymath
1h 44m 15s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 44m 15s
ci: add ABI↔FFI conformance gate (#31) CodeQL Security Analysis #110: Commit 3ad6937 pushed by hyperpolymath
1m 2s main
main
1m 2s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #109: Pull request #31 opened by hyperpolymath
53s claude/new-session-1fphit
claude/new-session-1fphit
53s
Auto-install pinned Zig toolchain in setup + devcontainer (#30) CodeQL Security Analysis #108: Commit 7bfc86d pushed by hyperpolymath
5m 46s main
main
5m 46s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #107: Pull request #30 opened by hyperpolymath
5m 42s claude/new-session-1fphit
claude/new-session-1fphit
5m 42s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #106: Commit f048ddd pushed by hyperpolymath
2m 39s main
main
2m 39s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #105: Pull request #29 synchronize by hyperpolymath
1m 13s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 13s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #104: Pull request #29 opened by hyperpolymath
47s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
47s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#28) CodeQL Security Analysis #103: Commit eb0dcfb pushed by hyperpolymath
1m 20s main
main
1m 20s