Skip to content

Actions: hyperpolymath/futharkiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
141 workflow runs
141 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
CodeQL Security Analysis CodeQL Security Analysis #141: Scheduled
47s main
main
47s
ci: Secret Scanner caller must grant the reusable's job permissions (… CodeQL Security Analysis #140: Commit bc86f5e pushed by hyperpolymath
27m 27s main
main
27m 27s
ci: Secret Scanner caller must grant the reusable's job permissions CodeQL Security Analysis #139: Pull request #47 opened by hyperpolymath
49s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
49s
fix(ci): clear OSSF Scorecard startup_failure (#46) CodeQL Security Analysis #138: Commit 1b8bff1 pushed by hyperpolymath
52m 53s main
main
52m 53s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #137: Pull request #46 opened by hyperpolymath
3m 29s fix/scorecard-caller-startup
fix/scorecard-caller-startup
3m 29s
CodeQL Security Analysis CodeQL Security Analysis #136: Scheduled
44s main
main
44s
fix(clade): correct identity uuid (deterministic v5) (#45) CodeQL Security Analysis #135: Commit b6663e2 pushed by hyperpolymath
2m 7s main
main
2m 7s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #134: Pull request #45 opened by hyperpolymath
1m 47s fix/clade-uuid
fix/clade-uuid
1m 47s
CodeQL Security Analysis CodeQL Security Analysis #133: Scheduled
52s main
main
52s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#44) CodeQL Security Analysis #132: Commit 017b6cc pushed by hyperpolymath
1m 10s main
main
1m 10s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy CodeQL Security Analysis #131: Pull request #44 synchronize by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy CodeQL Security Analysis #130: Pull request #44 opened by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ABI Layer 5: end-to-end soundness capstone certificate (#43) CodeQL Security Analysis #129: Commit bf39d4b pushed by hyperpolymath
41s main
main
41s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #128: Pull request #43 synchronize by hyperpolymath
41s claude/new-session-znxgm7
claude/new-session-znxgm7
41s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… CodeQL Security Analysis #127: Commit c7d5d14 pushed by hyperpolymath
48s main
main
48s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #126: Pull request #42 synchronize by hyperpolymath
59s claude/new-session-znxgm7
claude/new-session-znxgm7
59s
ABI Layer 3: cross-SOAC map/zipWith fusion law (#41) CodeQL Security Analysis #125: Commit 5416e5e pushed by hyperpolymath
1m 8s main
main
1m 8s
ABI Layer 3: cross-SOAC map/zipWith fusion law CodeQL Security Analysis #124: Pull request #41 synchronize by hyperpolymath
52s claude/new-session-znxgm7
claude/new-session-znxgm7
52s
Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) CodeQL Security Analysis #123: Commit 88732af pushed by hyperpolymath
42s main
main
42s
ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof CodeQL Security Analysis #122: Pull request #40 opened by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#39) CodeQL Security Analysis #121: Commit 3fa6ff2 pushed by hyperpolymath
55m 34s main
main
55m 34s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #120: Pull request #39 opened by hyperpolymath
55m 49s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
55m 49s
P1: fix Zig FFI to build and match the Idris2 ABI (#38) CodeQL Security Analysis #119: Commit 659af4a pushed by hyperpolymath
1m 8s main
main
1m 8s
P1: fix Zig FFI to build and match the Idris2 ABI CodeQL Security Analysis #118: Pull request #38 opened by hyperpolymath
47s claude/new-session-1fphit
claude/new-session-1fphit
47s
Auto-install pinned Zig toolchain in setup + devcontainer (#37) CodeQL Security Analysis #117: Commit 75388ef pushed by hyperpolymath
6m 24s main
main
6m 24s