Skip to content

Actions: hyperpolymath/nimiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
182 workflow runs
182 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 #132: Scheduled
50s main
main
50s
fix(clade): correct identity uuid (deterministic v5) (#41) CodeQL Security Analysis #131: Commit 1cbe5d3 pushed by hyperpolymath
7m 34s main
main
7m 34s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #130: Pull request #41 opened by hyperpolymath
6m 26s fix/clade-uuid
fix/clade-uuid
6m 26s
CodeQL Security Analysis CodeQL Security Analysis #129: Scheduled
46s main
main
46s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #128: Commit 35c90de pushed by hyperpolymath
43s main
main
43s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + workflow-lint CodeQL Security Analysis #127: Pull request #40 synchronize by hyperpolymath
1m 7s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 7s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + workflow-lint CodeQL Security Analysis #126: Pull request #40 opened by hyperpolymath
40s claude/new-session-znxgm7
claude/new-session-znxgm7
40s
ABI Layer 5: end-to-end soundness capstone certificate (#39) CodeQL Security Analysis #125: Commit 7fda0e9 pushed by hyperpolymath
49s main
main
49s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #124: Pull request #39 synchronize by hyperpolymath
43s claude/new-session-znxgm7
claude/new-session-znxgm7
43s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #123: Commit 8e0badc pushed by hyperpolymath
45s main
main
45s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #122: Pull request #38 synchronize by hyperpolymath
50s claude/new-session-znxgm7
claude/new-session-znxgm7
50s
ABI Layer 3: type-lowering injectivity + composition (two deeper code… CodeQL Security Analysis #121: Commit d6ec80c pushed by hyperpolymath
3m 11s main
main
3m 11s
ABI Layer 3: type-lowering injectivity + composition (two deeper codegen theorems) CodeQL Security Analysis #120: Pull request #37 synchronize by hyperpolymath
1m 7s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 7s
abi(nimiser): prove C-binding signature preservation (Layer 2) (#36) CodeQL Security Analysis #119: Commit 5b2fada pushed by hyperpolymath
1m 3s main
main
1m 3s
ABI Layer 2: prove C-binding signature preservation — flagship Idris2 proof CodeQL Security Analysis #118: Pull request #36 opened by hyperpolymath
42s claude/new-session-znxgm7
claude/new-session-znxgm7
42s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) CodeQL Security Analysis #117: Commit b2598e7 pushed by hyperpolymath
1h 31m 47s main
main
1h 31m 47s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #116: Pull request #35 opened by hyperpolymath
1h 31m 55s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 31m 55s
ci: add ABI↔FFI conformance gate (#34) CodeQL Security Analysis #115: Commit 02ed1dc pushed by hyperpolymath
40s main
main
40s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #114: Pull request #34 opened by hyperpolymath
50s claude/new-session-1fphit
claude/new-session-1fphit
50s
Auto-install pinned Zig toolchain in setup + devcontainer (#33) CodeQL Security Analysis #113: Commit 52f5330 pushed by hyperpolymath
4m 33s main
main
4m 33s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #112: Pull request #33 opened by hyperpolymath
2m 14s claude/new-session-1fphit
claude/new-session-1fphit
2m 14s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #111: Commit be1d62d pushed by hyperpolymath
1m 58s main
main
1m 58s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #110: Pull request #32 opened by hyperpolymath
59s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
59s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) CodeQL Security Analysis #109: Commit 6908e75 pushed by hyperpolymath
1m 43s main
main
1m 43s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #108: Pull request #31 opened by hyperpolymath
1m 10s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 10s