Skip to content

Actions: hyperpolymath/alloyiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
142 workflow runs
142 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
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #142: Commit 9437b92 pushed by hyperpolymath
43s main
main
43s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #141: Pull request #47 synchronize by hyperpolymath
1m 2s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 2s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #140: Pull request #47 opened by hyperpolymath
37s claude/new-session-znxgm7
claude/new-session-znxgm7
37s
ABI Layer 5: end-to-end soundness capstone certificate (#46) CodeQL Security Analysis #139: Commit 27590b6 pushed by hyperpolymath
43s main
main
43s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #138: Pull request #46 synchronize by hyperpolymath
1m 0s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 0s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #137: Commit 764a7f8 pushed by hyperpolymath
45s main
main
45s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #136: Pull request #45 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 3: multiplicity subsumption — one entails lone (#44) CodeQL Security Analysis #135: Commit e23f89c pushed by hyperpolymath
52s main
main
52s
ABI Layer 3: multiplicity subsumption — one entails lone CodeQL Security Analysis #134: Pull request #44 synchronize by hyperpolymath
59s claude/new-session-znxgm7
claude/new-session-znxgm7
59s
ABI Layer 2: prove Alloy one-multiplicity constraint — flagship Idr… CodeQL Security Analysis #133: Commit da7c8ee pushed by hyperpolymath
41s main
main
41s
ABI Layer 2: prove Alloy one-multiplicity constraint — flagship Idris2 proof CodeQL Security Analysis #132: Pull request #43 opened by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#42) CodeQL Security Analysis #131: Commit 1f5a51d pushed by hyperpolymath
3m 22s main
main
3m 22s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #130: Pull request #42 opened by hyperpolymath
1m 18s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1m 18s
ci: add ABI↔FFI conformance gate (#41) CodeQL Security Analysis #129: Commit fa43c23 pushed by hyperpolymath
37s main
main
37s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #128: Pull request #41 opened by hyperpolymath
49s claude/new-session-1fphit
claude/new-session-1fphit
49s
chore: remove accidentally committed Zig build cache + gitignore it (… CodeQL Security Analysis #127: Commit ea642f2 pushed by hyperpolymath
2m 2s main
main
2m 2s
chore: remove accidentally committed Zig build cache + gitignore it CodeQL Security Analysis #126: Pull request #40 opened by hyperpolymath
2m 24s claude/new-session-1fphit
claude/new-session-1fphit
2m 24s
P1: implement real Zig FFI matching the Idris2 ABI (#39) CodeQL Security Analysis #125: Commit ec9c6a9 pushed by hyperpolymath
47s main
main
47s
P1: implement real Zig FFI matching the Idris2 ABI CodeQL Security Analysis #124: Pull request #39 opened by hyperpolymath
1m 3s claude/new-session-1fphit
claude/new-session-1fphit
1m 3s
Auto-install pinned Zig toolchain in setup + devcontainer (#38) CodeQL Security Analysis #123: Commit ab8fabc pushed by hyperpolymath
50s main
main
50s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #122: Pull request #38 opened by hyperpolymath
47s claude/new-session-1fphit
claude/new-session-1fphit
47s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #121: Commit 6667aa1 pushed by hyperpolymath
2m 39s main
main
2m 39s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #120: Pull request #37 synchronize by hyperpolymath
50s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
50s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #119: Pull request #37 opened by hyperpolymath
1m 5s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 5s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#36) CodeQL Security Analysis #118: Commit 98604cc pushed by hyperpolymath
3m 1s main
main
3m 1s