Skip to content

Actions: hyperpolymath/atsiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
158 workflow runs
158 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 2: prove linear-pointer memory safety (no use-after-free/do… CodeQL Security Analysis #133: Commit 4ad7cb3 pushed by hyperpolymath
49s main
main
49s
ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof CodeQL Security Analysis #132: Pull request #44 opened by hyperpolymath
50s claude/new-session-znxgm7
claude/new-session-znxgm7
50s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#43) CodeQL Security Analysis #131: Commit 04b3009 pushed by hyperpolymath
3m 23s main
main
3m 23s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #130: Pull request #43 opened by hyperpolymath
2m 45s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2m 45s
P1: implement real Zig FFI matching the Idris2 ABI (#42) CodeQL Security Analysis #129: Commit 458701d pushed by hyperpolymath
46s main
main
46s
P1: implement real Zig FFI matching the Idris2 ABI CodeQL Security Analysis #128: Pull request #42 opened by hyperpolymath
55s claude/new-session-1fphit
claude/new-session-1fphit
55s
Auto-install pinned Zig toolchain in setup + devcontainer (#41) CodeQL Security Analysis #127: Commit 6fe9694 pushed by hyperpolymath
1m 7s main
main
1m 7s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #126: Pull request #41 opened by hyperpolymath
48s claude/new-session-1fphit
claude/new-session-1fphit
48s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #125: Commit b3caa84 pushed by hyperpolymath
53s main
main
53s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #124: Pull request #40 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 #123: Pull request #40 opened by hyperpolymath
1m 3s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 3s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#39) CodeQL Security Analysis #122: Commit 9ce2805 pushed by hyperpolymath
3m 43s main
main
3m 43s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #121: Pull request #39 opened by hyperpolymath
1m 22s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 22s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… CodeQL Security Analysis #120: Commit 15b859c pushed by hyperpolymath
25m 9s main
main
25m 9s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #119: Pull request #38 opened by hyperpolymath
24m 41s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
24m 41s
chore(ci): add dormant push-email notification workflow (#37) CodeQL Security Analysis #118: Commit 67eaa56 pushed by hyperpolymath
16h 43m 31s main
main
16h 43m 31s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #117: Pull request #37 opened by hyperpolymath
14h 48m 20s chore/push-email-notify
chore/push-email-notify
14h 48m 20s
chore(clade): backfill [status] lifecycle block (#36) CodeQL Security Analysis #116: Commit 056af44 pushed by hyperpolymath
19m 51s main
main
19m 51s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #115: Pull request #36 opened by hyperpolymath
13h 47m 9s chore/clade-status-backfill
chore/clade-status-backfill
13h 47m 9s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #114: Commit ab40d1d pushed by hyperpolymath
1h 6m 26s main
main
1h 6m 26s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #113: Pull request #35 opened by hyperpolymath
8h 22m 26s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
8h 22m 26s
chore(ci): bump standards reusable workflow pins (#34) CodeQL Security Analysis #112: Commit ac59977 pushed by hyperpolymath
22m 28s main
main
22m 28s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #111: Pull request #34 opened by hyperpolymath
20m 36s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
20m 36s
chore(nix->guix): remove flake.nix (Guix-only) (#33) CodeQL Security Analysis #110: Commit ec57899 pushed by hyperpolymath
39m 17s main
main
39m 17s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #109: Pull request #33 opened by hyperpolymath
38m 34s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
38m 34s