Skip to content

Actions: hyperpolymath/mylangiser

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) CodeQL Security Analysis #133: Pull request #43 opened by hyperpolymath
9m 16s fix/clade-uuid
fix/clade-uuid
9m 16s
fix(clade): correct identity uuid (deterministic v5) (#43) CodeQL Security Analysis #132: Commit 6a62547 pushed by hyperpolymath
1m 41s main
main
1m 41s
CodeQL Security Analysis CodeQL Security Analysis #131: Scheduled
47s main
main
47s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #130: Commit 083f07d pushed by hyperpolymath
44s main
main
44s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #129: Pull request #42 synchronize by hyperpolymath
1m 3s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 3s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate CodeQL Security Analysis #128: Pull request #42 opened by hyperpolymath
43s claude/new-session-znxgm7
claude/new-session-znxgm7
43s
ABI Layer 5: end-to-end soundness capstone certificate (#41) CodeQL Security Analysis #127: Commit 3ba5465 pushed by hyperpolymath
38s main
main
38s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #126: Pull request #41 synchronize by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #125: Commit 3be9030 pushed by hyperpolymath
45s main
main
45s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #124: Pull request #40 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 3: transitivity of multi-step disclosure reachability (#39) CodeQL Security Analysis #123: Commit 8527ead pushed by hyperpolymath
1m 35s main
main
1m 35s
ABI Layer 3: transitivity of multi-step disclosure reachability CodeQL Security Analysis #122: Pull request #39 synchronize by hyperpolymath
53s claude/new-session-znxgm7
claude/new-session-znxgm7
53s
abi: prove progressive-disclosure monotonicity (Layer 2 Semantics) (#38) CodeQL Security Analysis #121: Commit de44afa pushed by hyperpolymath
1m 4s main
main
1m 4s
ABI Layer 2: prove progressive-disclosure monotonicity — flagship Idris2 proof CodeQL Security Analysis #120: Pull request #38 opened by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#37) CodeQL Security Analysis #119: Commit 593ab3a pushed by hyperpolymath
1h 26m 14s main
main
1h 26m 14s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #118: Pull request #37 opened by hyperpolymath
1h 26m 24s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 26m 24s
ci: add ABI↔FFI conformance gate (#36) CodeQL Security Analysis #117: Commit 467b316 pushed by hyperpolymath
1m 2s main
main
1m 2s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #116: Pull request #36 opened by hyperpolymath
44s claude/new-session-1fphit
claude/new-session-1fphit
44s
Auto-install pinned Zig toolchain in setup + devcontainer (#35) CodeQL Security Analysis #115: Commit 92a6172 pushed by hyperpolymath
4m 55s main
main
4m 55s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #114: Pull request #35 opened by hyperpolymath
2m 15s claude/new-session-1fphit
claude/new-session-1fphit
2m 15s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #113: Commit 376563e pushed by hyperpolymath
2m 18s main
main
2m 18s
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 7a34ba1 pushed by hyperpolymath
2m 24s main
main
2m 24s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #110: Pull request #33 opened by hyperpolymath
47s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
47s
chore(clade): backfill [status] lifecycle block (default active) (#31) CodeQL Security Analysis #109: Commit 9abeae4 pushed by hyperpolymath
18h 53m 53s main
main
18h 53m 53s