Skip to content

Actions: hyperpolymath/lustreiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
131 workflow runs
131 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) (#43) CodeQL Security Analysis #131: Commit 1e836f0 pushed by hyperpolymath
5m 4s main
main
5m 4s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #130: Pull request #43 opened by hyperpolymath
5m 19s fix/clade-uuid
fix/clade-uuid
5m 19s
CodeQL Security Analysis CodeQL Security Analysis #129: Scheduled
53s main
main
53s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #128: Commit 14d34e9 pushed by hyperpolymath
43s main
main
43s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #127: Pull request #42 synchronize by hyperpolymath
1m 9s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 9s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #126: Pull request #42 opened by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
ABI Layer 5: end-to-end soundness capstone certificate (#41) CodeQL Security Analysis #125: Commit b3d0283 pushed by hyperpolymath
39s main
main
39s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #124: Pull request #41 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 #123: Commit 88cbfa1 pushed by hyperpolymath
41s main
main
41s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #122: Pull request #40 synchronize by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ABI Layer 3: run is a left monoid action of the input stream (runAppe… CodeQL Security Analysis #121: Commit 7d8f846 pushed by hyperpolymath
2m 3s main
main
2m 3s
ABI Layer 3: run is a left monoid action of the input stream (runAppend) CodeQL Security Analysis #120: Pull request #39 synchronize by hyperpolymath
55s claude/new-session-znxgm7
claude/new-session-znxgm7
55s
abi(semantics): prove saturating-counter node invariant + determinism… CodeQL Security Analysis #119: Commit 9af03a4 pushed by hyperpolymath
54s main
main
54s
ABI Layer 2: prove counter-node bound invariant + determinism — flagship Idris2 proof CodeQL Security Analysis #118: Pull request #38 opened by hyperpolymath
53s claude/new-session-znxgm7
claude/new-session-znxgm7
53s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#37) CodeQL Security Analysis #117: Commit c0bb63a pushed by hyperpolymath
1h 22m 23s main
main
1h 22m 23s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #116: Pull request #37 opened by hyperpolymath
1h 22m 54s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 22m 54s
ci: add ABI↔FFI conformance gate (#36) CodeQL Security Analysis #115: Commit 7288dac pushed by hyperpolymath
1m 15s main
main
1m 15s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #114: Pull request #36 opened by hyperpolymath
59s claude/new-session-1fphit
claude/new-session-1fphit
59s
Auto-install pinned Zig toolchain in setup + devcontainer (#35) CodeQL Security Analysis #113: Commit 5d994fe pushed by hyperpolymath
4m 52s main
main
4m 52s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #112: Pull request #35 opened by hyperpolymath
1m 19s claude/new-session-1fphit
claude/new-session-1fphit
1m 19s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #111: Commit 6c1a419 pushed by hyperpolymath
2m 52s main
main
2m 52s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #110: Pull request #34 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) (#33) CodeQL Security Analysis #109: Commit 7479e0b pushed by hyperpolymath
2m 9s main
main
2m 9s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #108: Pull request #33 opened by hyperpolymath
1m 3s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 3s
docs(readme): convert README.adoc -> Markdown README.md (#32) CodeQL Security Analysis #107: Commit c79a510 pushed by hyperpolymath
59m 6s main
main
59m 6s