Skip to content

Actions: hyperpolymath/idrisiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
152 workflow runs
152 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: McCarthy store/select array-update laws (write-then-read, read-other) CodeQL Security Analysis #127: Pull request #43 synchronize by hyperpolymath
54s claude/new-session-znxgm7
claude/new-session-znxgm7
54s
feat(abi): add Semantics flagship proof — bounded array access safety… CodeQL Security Analysis #126: Commit 29e9bec pushed by hyperpolymath
56s main
main
56s
ABI Layer 2: prove bounded array access (Fin-indexed, total) — 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 5f53198 pushed by hyperpolymath
1h 7m 16s main
main
1h 7m 16s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #123: Pull request #41 opened by hyperpolymath
1h 7m 43s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 7m 43s
ci: add ABI↔FFI conformance gate (#40) CodeQL Security Analysis #122: Commit 453ac63 pushed by hyperpolymath
1m 11s main
main
1m 11s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #121: Pull request #40 opened by hyperpolymath
46s claude/new-session-1fphit
claude/new-session-1fphit
46s
Auto-install pinned Zig toolchain in setup + devcontainer (#39) CodeQL Security Analysis #120: Commit 29850c3 pushed by hyperpolymath
3m 55s main
main
3m 55s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #119: Pull request #39 opened by hyperpolymath
2m 21s claude/new-session-1fphit
claude/new-session-1fphit
2m 21s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #118: Commit 1692561 pushed by hyperpolymath
3m 33s main
main
3m 33s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #117: Pull request #38 opened by hyperpolymath
48s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
48s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#37) CodeQL Security Analysis #116: Commit 7f1691c pushed by hyperpolymath
2m 6s main
main
2m 6s
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 f4a97b4 pushed by hyperpolymath
51m 23s main
main
51m 23s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #113: Pull request #36 opened by hyperpolymath
50m 12s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
50m 12s
chore(clade): backfill [status] lifecycle block (default active) (#34) CodeQL Security Analysis #112: Commit f5c9f31 pushed by hyperpolymath
18h 32m 19s main
main
18h 32m 19s
chore(ci): add dormant push-email notification workflow (#35) CodeQL Security Analysis #111: Commit af415d6 pushed by hyperpolymath
6m 3s main
main
6m 3s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #110: Pull request #35 opened by hyperpolymath
12h 38m 55s chore/push-email-notify
chore/push-email-notify
12h 38m 55s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #109: Pull request #34 opened by hyperpolymath
12h 20m 22s chore/clade-status-backfill
chore/clade-status-backfill
12h 20m 22s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33) CodeQL Security Analysis #108: Commit a22aeef pushed by hyperpolymath
1h 18m 24s main
main
1h 18m 24s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #107: Pull request #33 opened by hyperpolymath
10h 31m 51s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
10h 31m 51s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#32) CodeQL Security Analysis #106: Commit 951e212 pushed by hyperpolymath
1h 12m 35s main
main
1h 12m 35s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #105: Pull request #32 opened by hyperpolymath
2h 22m 25s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
2h 22m 25s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#31) CodeQL Security Analysis #104: Commit 1669ba3 pushed by hyperpolymath
41m 49s main
main
41m 49s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #103: Pull request #31 opened by hyperpolymath
38m 49s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
38m 49s