Skip to content

Actions: hyperpolymath/tlaiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
133 workflow runs
133 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) (#43) CodeQL Security Analysis #133: Commit f83af4f pushed by hyperpolymath
11m 44s main
main
11m 44s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #132: Pull request #43 opened by hyperpolymath
10m 32s fix/clade-uuid
fix/clade-uuid
10m 32s
CodeQL Security Analysis CodeQL Security Analysis #131: Scheduled
44s main
main
44s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #130: Commit 6158143 pushed by hyperpolymath
54s main
main
54s
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