Skip to content

Actions: hyperpolymath/atsiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
145 workflow runs
145 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) (#49) CodeQL Security Analysis #145: Commit 1176671 pushed by hyperpolymath
1m 3s main
main
1m 3s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #144: Pull request #49 opened by hyperpolymath
1m 36s fix/clade-uuid
fix/clade-uuid
1m 36s
CodeQL Security Analysis CodeQL Security Analysis #143: Scheduled
38s main
main
38s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#48) CodeQL Security Analysis #142: Commit 2656f00 pushed by hyperpolymath
1m 2s main
main
1m 2s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy CodeQL Security Analysis #141: Pull request #48 synchronize by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy CodeQL Security Analysis #140: Pull request #48 opened by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ABI Layer 5: end-to-end soundness capstone certificate (#47) CodeQL Security Analysis #139: Commit e65ee21 pushed by hyperpolymath
41s main
main
41s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #138: Pull request #47 synchronize by hyperpolymath
37s claude/new-session-znxgm7
claude/new-session-znxgm7
37s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #137: Commit 87aad80 pushed by hyperpolymath
39s main
main
39s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #136: Pull request #46 synchronize by hyperpolymath
42s claude/new-session-znxgm7
claude/new-session-znxgm7
42s
ABI Layer 3: transition soundness of linear free (state + address p… CodeQL Security Analysis #135: Commit 38ac343 pushed by hyperpolymath
39s main
main
39s
ABI Layer 3: transition soundness of linear free (state + address preservation) CodeQL Security Analysis #134: Pull request #45 synchronize by hyperpolymath
53s claude/new-session-znxgm7
claude/new-session-znxgm7
53s
ABI Layer 2: prove linear-pointer memory safety (no use-after-free/do… CodeQL Security Analysis #133: Commit 4ad7cb3 pushed by hyperpolymath
49s main
main
49s
ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof CodeQL Security Analysis #132: Pull request #44 opened by hyperpolymath
50s claude/new-session-znxgm7
claude/new-session-znxgm7
50s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#43) CodeQL Security Analysis #131: Commit 04b3009 pushed by hyperpolymath
3m 23s main
main
3m 23s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #130: Pull request #43 opened by hyperpolymath
2m 45s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2m 45s
P1: implement real Zig FFI matching the Idris2 ABI (#42) CodeQL Security Analysis #129: Commit 458701d pushed by hyperpolymath
46s main
main
46s
P1: implement real Zig FFI matching the Idris2 ABI CodeQL Security Analysis #128: Pull request #42 opened by hyperpolymath
55s claude/new-session-1fphit
claude/new-session-1fphit
55s
Auto-install pinned Zig toolchain in setup + devcontainer (#41) CodeQL Security Analysis #127: Commit 6fe9694 pushed by hyperpolymath
1m 7s main
main
1m 7s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #126: Pull request #41 opened by hyperpolymath
48s claude/new-session-1fphit
claude/new-session-1fphit
48s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #125: Commit b3caa84 pushed by hyperpolymath
53s main
main
53s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #124: Pull request #40 synchronize by hyperpolymath
1m 12s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 12s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #123: Pull request #40 opened by hyperpolymath
1m 3s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 3s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#39) CodeQL Security Analysis #122: Commit 9ce2805 pushed by hyperpolymath
3m 43s main
main
3m 43s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #121: Pull request #39 opened by hyperpolymath
1m 22s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 22s