Skip to content

Actions: hyperpolymath/julianiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
159 workflow runs
159 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 + fmt/clippy CodeQL Security Analysis #134: Pull request #46 synchronize by hyperpolymath
1m 4s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 4s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #133: Pull request #46 opened by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
ABI Layer 5: end-to-end soundness capstone certificate (#45) CodeQL Security Analysis #132: Commit 4a5ac2a pushed by hyperpolymath
42s main
main
42s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #131: Pull request #45 synchronize by hyperpolymath
54s claude/new-session-znxgm7
claude/new-session-znxgm7
54s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #130: Pull request #44 synchronize by hyperpolymath
1m 0s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 0s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #129: Commit 638f66a pushed by hyperpolymath
39s main
main
39s
ABI Layer 3: compositionality — translation is a homomorphism over th… CodeQL Security Analysis #128: Commit 8bd0eb9 pushed by hyperpolymath
1m 19s main
main
1m 19s
ABI Layer 3: compositionality — translation is a homomorphism over the AST CodeQL Security Analysis #127: Pull request #43 synchronize by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
abi: prove translation preserves results (Julianiser.ABI.Semantics) (… CodeQL Security Analysis #126: Commit a937d93 pushed by hyperpolymath
1m 28s main
main
1m 28s
ABI Layer 2: prove translation preserves results — flagship Idris2 proof CodeQL Security Analysis #125: Pull request #42 opened by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#41) CodeQL Security Analysis #124: Commit 0a2d5c4 pushed by hyperpolymath
1h 16m 25s main
main
1h 16m 25s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #123: Pull request #41 opened by hyperpolymath
1h 15m 43s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 15m 43s
ci: add ABI↔FFI conformance gate (#40) CodeQL Security Analysis #122: Commit f347889 pushed by hyperpolymath
1m 9s main
main
1m 9s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #121: Pull request #40 opened by hyperpolymath
39s claude/new-session-1fphit
claude/new-session-1fphit
39s
Auto-install pinned Zig toolchain in setup + devcontainer (#39) CodeQL Security Analysis #120: Commit 7e31dad pushed by hyperpolymath
4m 31s main
main
4m 31s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #119: Pull request #39 opened by hyperpolymath
1m 1s claude/new-session-1fphit
claude/new-session-1fphit
1m 1s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #118: Commit 7ba8cc7 pushed by hyperpolymath
3m 52s main
main
3m 52s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #117: Pull request #38 opened by hyperpolymath
57s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
57s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#37) CodeQL Security Analysis #116: Commit 4c7f468 pushed by hyperpolymath
2m 52s main
main
2m 52s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #115: Pull request #37 opened by hyperpolymath
56s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
56s
docs(readme): convert README.adoc -> Markdown README.md (#36) CodeQL Security Analysis #114: Commit 446d48e pushed by hyperpolymath
53m 38s main
main
53m 38s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #113: Pull request #36 opened by hyperpolymath
54m 5s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
54m 5s
chore(clade): backfill [status] lifecycle block (default active) (#34) CodeQL Security Analysis #112: Commit 534b4f3 pushed by hyperpolymath
18h 57m 21s main
main
18h 57m 21s
chore(ci): add dormant push-email notification workflow (#35) CodeQL Security Analysis #111: Commit d4dd9e3 pushed by hyperpolymath
10m 20s main
main
10m 20s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #110: Pull request #35 opened by hyperpolymath
12h 15m 47s chore/push-email-notify
chore/push-email-notify
12h 15m 47s