Skip to content

Actions: hyperpolymath/idrisiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
141 workflow runs
141 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) (#48) CodeQL Security Analysis #141: Commit 17e2ee2 pushed by hyperpolymath
2m 17s main
main
2m 17s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #140: Pull request #48 opened by hyperpolymath
2m 16s fix/clade-uuid
fix/clade-uuid
2m 16s
CodeQL Security Analysis CodeQL Security Analysis #139: Scheduled
48s main
main
48s
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#47) CodeQL Security Analysis #138: Commit 798961d pushed by hyperpolymath
40s main
main
40s
ci: fmt under stable 1.96 to make rust-ci green (follow-up) CodeQL Security Analysis #137: Pull request #47 synchronize by hyperpolymath
1m 7s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 7s
ci: fmt under stable 1.96 to make rust-ci green (follow-up) CodeQL Security Analysis #136: Pull request #47 opened by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #135: Commit 1eedb56 pushed by hyperpolymath
43s main
main
43s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #134: Pull request #46 synchronize by hyperpolymath
57s claude/new-session-znxgm7
claude/new-session-znxgm7
57s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #133: Pull request #46 opened by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
ABI Layer 5: end-to-end soundness capstone certificate (#45) CodeQL Security Analysis #132: Commit 9e56ba7 pushed by hyperpolymath
50s main
main
50s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #131: Pull request #45 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #130: Commit bb2b581 pushed by hyperpolymath
44s main
main
44s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #129: Pull request #44 synchronize by hyperpolymath
41s claude/new-session-znxgm7
claude/new-session-znxgm7
41s
ABI Layer 3: McCarthy store/select array-update laws (write-then-read… CodeQL Security Analysis #128: Commit 7ac70ae pushed by hyperpolymath
1m 10s main
main
1m 10s
ABI Layer 3: McCarthy store/select array-update laws (write-then-read, read-other) CodeQL Security Analysis #127: Pull request #43 synchronize by hyperpolymath
54s claude/new-session-znxgm7
claude/new-session-znxgm7
54s
feat(abi): add Semantics flagship proof — bounded array access safety… CodeQL Security Analysis #126: Commit 29e9bec pushed by hyperpolymath
56s main
main
56s
ABI Layer 2: prove bounded array access (Fin-indexed, total) — flagship Idris2 proof CodeQL Security Analysis #125: Pull request #42 opened by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#41) CodeQL Security Analysis #124: Commit 5f53198 pushed by hyperpolymath
1h 7m 16s main
main
1h 7m 16s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #123: Pull request #41 opened by hyperpolymath
1h 7m 43s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 7m 43s
ci: add ABI↔FFI conformance gate (#40) CodeQL Security Analysis #122: Commit 453ac63 pushed by hyperpolymath
1m 11s main
main
1m 11s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #121: Pull request #40 opened by hyperpolymath
46s claude/new-session-1fphit
claude/new-session-1fphit
46s
Auto-install pinned Zig toolchain in setup + devcontainer (#39) CodeQL Security Analysis #120: Commit 29850c3 pushed by hyperpolymath
3m 55s main
main
3m 55s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #119: Pull request #39 opened by hyperpolymath
2m 21s claude/new-session-1fphit
claude/new-session-1fphit
2m 21s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #118: Commit 1692561 pushed by hyperpolymath
3m 33s main
main
3m 33s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #117: Pull request #38 opened by hyperpolymath
48s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
48s