Skip to content

Actions: hyperpolymath/halideiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
180 workflow runs
180 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
CodeQL Security Analysis CodeQL Security Analysis #130: Scheduled
42s main
main
42s
fix(clade): correct identity uuid (deterministic v5) (#41) CodeQL Security Analysis #129: Commit 312ce8f pushed by hyperpolymath
1m 52s main
main
1m 52s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #128: Pull request #41 opened by hyperpolymath
2m 54s fix/clade-uuid
fix/clade-uuid
2m 54s
CodeQL Security Analysis CodeQL Security Analysis #127: Scheduled
40s main
main
40s
ci: make CI genuinely green — rust-ci toolchain pin (#40) CodeQL Security Analysis #126: Commit 2d8a1cf pushed by hyperpolymath
41s main
main
41s
ci: make CI genuinely green — rust-ci toolchain pin CodeQL Security Analysis #125: Pull request #40 synchronize by hyperpolymath
42s claude/new-session-znxgm7
claude/new-session-znxgm7
42s
ci: make CI genuinely green — rust-ci toolchain pin CodeQL Security Analysis #124: Pull request #40 opened by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 5: end-to-end soundness capstone certificate (#39) CodeQL Security Analysis #123: Commit 1c0b550 pushed by hyperpolymath
46s main
main
46s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #122: Pull request #39 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 #121: Commit 0088171 pushed by hyperpolymath
47s main
main
47s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #120: Pull request #38 synchronize by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
ABI Layer 3: schedule equivalence is an equivalence relation (reflexi… CodeQL Security Analysis #119: Commit 8544be8 pushed by hyperpolymath
48s main
main
48s
ABI Layer 3: schedule equivalence is an equivalence relation (reflexive/symmetric/transitive) CodeQL Security Analysis #118: Pull request #37 synchronize by hyperpolymath
54s claude/new-session-znxgm7
claude/new-session-znxgm7
54s
feat(abi): prove schedule equivalence for loop split (Layer 2) (#36) CodeQL Security Analysis #117: Commit 7e3f5ee pushed by hyperpolymath
52s main
main
52s
ABI Layer 2: prove schedule equivalence (loop split) — flagship Idris2 proof CodeQL Security Analysis #116: Pull request #36 opened by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) CodeQL Security Analysis #115: Commit e190e0f pushed by hyperpolymath
1h 1m 11s main
main
1h 1m 11s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #114: Pull request #35 opened by hyperpolymath
1h 3m 28s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 3m 28s
P1: fix Zig FFI to compile under Zig 0.14.0 (#34) CodeQL Security Analysis #113: Commit 7aa69f9 pushed by hyperpolymath
40s main
main
40s
P1: fix Zig FFI to compile under Zig 0.14.0 CodeQL Security Analysis #112: Pull request #34 opened by hyperpolymath
37s claude/new-session-1fphit
claude/new-session-1fphit
37s
Auto-install pinned Zig toolchain in setup + devcontainer (#33) CodeQL Security Analysis #111: Commit 204189d pushed by hyperpolymath
4m 19s main
main
4m 19s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #110: Pull request #33 opened by hyperpolymath
3m 39s claude/new-session-1fphit
claude/new-session-1fphit
3m 39s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #109: Commit 695cc51 pushed by hyperpolymath
2m 33s main
main
2m 33s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #108: Pull request #32 opened by hyperpolymath
57s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
57s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) CodeQL Security Analysis #107: Commit 113125a pushed by hyperpolymath
2m 20s main
main
2m 20s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #106: Pull request #31 opened by hyperpolymath
55s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
55s