Skip to content

Actions: hyperpolymath/iseriser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
332 workflow runs
332 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 ABI-FFI gate CodeQL Security Analysis #182: Pull request #77 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 CodeQL Security Analysis #181: Pull request #77 opened by hyperpolymath
50s claude/new-session-znxgm7
claude/new-session-znxgm7
50s
ABI Layer 5: end-to-end soundness capstone certificate (#76) CodeQL Security Analysis #180: Commit e369b3c pushed by hyperpolymath
45s main
main
45s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #179: Pull request #76 synchronize by hyperpolymath
50s claude/new-session-znxgm7
claude/new-session-znxgm7
50s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #178: Commit 2e9d19f pushed by hyperpolymath
41s main
main
41s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #177: Pull request #75 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 3: generation soundness (genScaffold always Conformant) + u… CodeQL Security Analysis #176: Commit 10b0a71 pushed by hyperpolymath
2m 13s main
main
2m 13s
ABI Layer 3: generation soundness (genScaffold always Conformant) + upward-closure CodeQL Security Analysis #175: Pull request #74 synchronize by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
feat(abi): prove Conformant scaffold property (Layer 2 Semantics) (#73) CodeQL Security Analysis #174: Commit 9d5e5d8 pushed by hyperpolymath
1m 32s main
main
1m 32s
ABI Layer 2: prove scaffold conformance property — flagship Idris2 proof CodeQL Security Analysis #173: Pull request #73 opened by hyperpolymath
55s claude/new-session-znxgm7
claude/new-session-znxgm7
55s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#72) CodeQL Security Analysis #172: Commit 024dbbd pushed by hyperpolymath
1h 14m 31s main
main
1h 14m 31s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #171: Pull request #72 opened by hyperpolymath
1h 13m 46s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 13m 46s
ci: add ABI↔FFI conformance gate (#71) CodeQL Security Analysis #170: Commit a7ccd57 pushed by hyperpolymath
38s main
main
38s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #169: Pull request #71 opened by hyperpolymath
47s claude/new-session-1fphit
claude/new-session-1fphit
47s
iseriser: auto-install pinned Zig toolchain in setup + devcontainer (… CodeQL Security Analysis #168: Commit 13208cd pushed by hyperpolymath
46s main
main
46s
iseriser: auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #167: Pull request #70 opened by hyperpolymath
51s claude/new-session-1fphit
claude/new-session-1fphit
51s
iseriser: codegen emits verified, compiling Idris2 ABI (P2) (#69) CodeQL Security Analysis #166: Commit 1b23126 pushed by hyperpolymath
46s main
main
46s
iseriser: codegen emits verified, compiling Idris2 ABI (P2) CodeQL Security Analysis #165: Pull request #69 opened by hyperpolymath
55s claude/new-session-1fphit
claude/new-session-1fphit
55s
iseriser: normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)… CodeQL Security Analysis #164: Commit 5f6dc0d pushed by hyperpolymath
43s main
main
43s
iseriser: normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #163: Pull request #68 opened by hyperpolymath
47s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
47s
iseriser: make Phase 0 ABI proofs genuinely compile and verify (#67) CodeQL Security Analysis #162: Commit 6f102af pushed by hyperpolymath
51s main
main
51s
iseriser: make Phase 0 ABI proofs genuinely compile and verify CodeQL Security Analysis #161: Pull request #67 synchronize by hyperpolymath
48s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
48s
iseriser: make Phase 0 ABI proofs genuinely compile and verify CodeQL Security Analysis #160: Pull request #67 opened by hyperpolymath
44s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
44s
docs(readme): convert README.adoc -> Markdown README.md (#66) CodeQL Security Analysis #159: Commit c0eb925 pushed by hyperpolymath
52m 25s main
main
52m 25s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #158: Pull request #66 opened by hyperpolymath
52m 23s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
52m 23s