Skip to content

Actions: hyperpolymath/tlaiser

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
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… CodeQL Security Analysis #142: Commit ecec930 pushed by hyperpolymath
2h 43m 23s main
main
2h 43m 23s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump CodeQL Security Analysis #141: Pull request #46 opened by hyperpolymath
1h 41m 5s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 41m 5s
security: re-pin secret scanner onto the real gitleaks gate (#45) CodeQL Security Analysis #140: Commit 01392f4 pushed by hyperpolymath
29m 41s main
main
29m 41s
security: re-pin secret scanner onto the real gitleaks gate CodeQL Security Analysis #139: Pull request #45 opened by hyperpolymath
26m 53s security/real-secret-gate
security/real-secret-gate
26m 53s
CodeQL Security Analysis CodeQL Security Analysis #138: Scheduled
40s main
main
40s
CodeQL Security Analysis CodeQL Security Analysis #137: Scheduled
46s main
main
46s
fix(ci): clear OSSF Scorecard startup_failure (#44) CodeQL Security Analysis #136: Commit d1036b9 pushed by hyperpolymath
41m 36s main
main
41m 36s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #135: Pull request #44 opened by hyperpolymath
13m 59s fix/scorecard-caller-startup
fix/scorecard-caller-startup
13m 59s
CodeQL Security Analysis CodeQL Security Analysis #134: Scheduled
50s main
main
50s
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