Skip to content

Actions: hyperpolymath/tlaiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
229 workflow runs
229 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 #129: Pull request #42 synchronize by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #128: Pull request #42 opened by hyperpolymath
50s claude/new-session-znxgm7
claude/new-session-znxgm7
50s
ABI Layer 5: end-to-end soundness capstone certificate (#41) CodeQL Security Analysis #127: Commit 721550a pushed by hyperpolymath
41s main
main
41s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #126: Pull request #41 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 #125: Commit 9efc926 pushed by hyperpolymath
42s main
main
42s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #124: Pull request #40 synchronize by hyperpolymath
52s claude/new-session-znxgm7
claude/new-session-znxgm7
52s
ABI Layer 3: compositionality of inductive invariants (conjunction is… CodeQL Security Analysis #123: Commit b0cd266 pushed by hyperpolymath
35s main
main
35s
ABI Layer 3: compositionality of inductive invariants (conjunction is inductive) CodeQL Security Analysis #122: Pull request #39 synchronize by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
abi: prove inductive-invariant soundness (TLA+ INV1) in Tlaiser.ABI.S… CodeQL Security Analysis #121: Commit 8f54595 pushed by hyperpolymath
48s main
main
48s
ABI Layer 2: prove inductive-invariant safety soundness — flagship Idris2 proof CodeQL Security Analysis #120: Pull request #38 opened by hyperpolymath
52s claude/new-session-znxgm7
claude/new-session-znxgm7
52s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#37) CodeQL Security Analysis #119: Commit d8da9f8 pushed by hyperpolymath
2h 20m 39s main
main
2h 20m 39s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #118: Pull request #37 opened by hyperpolymath
2s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2s
ci: add ABI↔FFI conformance gate (#36) CodeQL Security Analysis #117: Commit 4d6a89b pushed by hyperpolymath
1m 42s main
main
1m 42s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #116: Pull request #36 opened by hyperpolymath
56s claude/new-session-1fphit
claude/new-session-1fphit
56s
Auto-install pinned Zig toolchain in setup + devcontainer (#35) CodeQL Security Analysis #115: Commit 3394d2c pushed by hyperpolymath
7m 11s main
main
7m 11s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #114: Pull request #35 opened by hyperpolymath
2m 28s claude/new-session-1fphit
claude/new-session-1fphit
2m 28s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #113: Commit 6fd121b pushed by hyperpolymath
2m 0s main
main
2m 0s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #112: Pull request #34 opened by hyperpolymath
51s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
51s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33) CodeQL Security Analysis #111: Commit f624126 pushed by hyperpolymath
51s main
main
51s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #110: Pull request #33 opened by hyperpolymath
42s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
42s
chore(ci): add dormant push-email notification workflow (#32) CodeQL Security Analysis #109: Commit bd0ed63 pushed by hyperpolymath
21h 20m 22s main
main
21h 20m 22s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #108: Pull request #32 opened by hyperpolymath
20h 21m 54s chore/push-email-notify
chore/push-email-notify
20h 21m 54s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) CodeQL Security Analysis #107: Commit 4aacd8e pushed by hyperpolymath
1h 19m 55s main
main
1h 19m 55s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #106: Pull request #31 opened by hyperpolymath
18h 8m 28s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 8m 28s
chore(clade): backfill [status] lifecycle block (default active) (#30) CodeQL Security Analysis #105: Commit f4c515e pushed by hyperpolymath
45m 2s main
main
45m 2s