Skip to content

Actions: hyperpolymath/affinescriptiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
144 workflow runs
144 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
ABI Layer 3: affine composition law over disjoint variable sets CodeQL Security Analysis #119: Pull request #38 synchronize by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … CodeQL Security Analysis #118: Commit bd08c30 pushed by hyperpolymath
43s main
main
43s
ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 proof CodeQL Security Analysis #117: Pull request #37 opened by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) CodeQL Security Analysis #116: Commit cc37b35 pushed by hyperpolymath
1m 11s main
main
1m 11s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #115: Pull request #36 opened by hyperpolymath
57s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
57s
ci: add ABI↔FFI conformance gate (#35) CodeQL Security Analysis #114: Commit 6532bc9 pushed by hyperpolymath
1m 37s main
main
1m 37s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #113: Pull request #35 opened by hyperpolymath
45s claude/new-session-1fphit
claude/new-session-1fphit
45s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) CodeQL Security Analysis #112: Commit 703fd16 pushed by hyperpolymath
52s main
main
52s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #111: Pull request #34 opened by hyperpolymath
42s claude/new-session-1fphit
claude/new-session-1fphit
42s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #110: Commit 412ae57 pushed by hyperpolymath
1m 36s main
main
1m 36s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #109: Pull request #33 synchronize by hyperpolymath
1m 12s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 12s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #108: Pull request #33 opened by hyperpolymath
53s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
53s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) CodeQL Security Analysis #107: Commit 2a34624 pushed by hyperpolymath
4m 14s main
main
4m 14s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #106: Pull request #32 opened by hyperpolymath
2m 32s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
2m 32s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… CodeQL Security Analysis #105: Commit d2d08ea pushed by hyperpolymath
24m 0s main
main
24m 0s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #104: Pull request #31 opened by hyperpolymath
23m 30s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
23m 30s
chore(clade): backfill [status] lifecycle block (#29) CodeQL Security Analysis #103: Commit a6ffd68 pushed by hyperpolymath
17h 1m 11s main
main
17h 1m 11s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #102: Pull request #29 synchronize by hyperpolymath
16h 59m 10s chore/clade-status-backfill
chore/clade-status-backfill
16h 59m 10s
chore(ci): add dormant push-email notification workflow (#30) CodeQL Security Analysis #101: Commit a714845 pushed by hyperpolymath
21m 40s main
main
21m 40s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #100: Pull request #30 opened by hyperpolymath
15h 41m 19s chore/push-email-notify
chore/push-email-notify
15h 41m 19s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #99: Pull request #29 opened by hyperpolymath
29m 42s chore/clade-status-backfill
chore/clade-status-backfill
29m 42s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #98: Commit 24600a6 pushed by hyperpolymath
1h 31m 58s main
main
1h 31m 58s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #97: Pull request #28 opened by hyperpolymath
8h 14m 23s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
8h 14m 23s
chore(ci): bump standards reusable workflow pins (#27) CodeQL Security Analysis #96: Commit fdb01c1 pushed by hyperpolymath
14m 45s main
main
14m 45s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #95: Pull request #27 opened by hyperpolymath
10m 57s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
10m 57s