Skip to content

Actions: hyperpolymath/eclexiaiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
127 workflow runs
127 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
Auto-install pinned Zig toolchain in setup + devcontainer (#29) CodeQL Security Analysis #102: Commit 890972d pushed by hyperpolymath
3m 15s main
main
3m 15s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #101: Pull request #29 opened by hyperpolymath
52s claude/new-session-1fphit
claude/new-session-1fphit
52s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #100: Commit a2ed81a pushed by hyperpolymath
46s main
main
46s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #99: Pull request #28 synchronize by hyperpolymath
51s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
51s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #98: Pull request #28 opened by hyperpolymath
52s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
52s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#27) CodeQL Security Analysis #97: Commit d729b6e pushed by hyperpolymath
4m 11s main
main
4m 11s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #96: Pull request #27 opened by hyperpolymath
2m 12s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
2m 12s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… CodeQL Security Analysis #95: Commit 5a75d17 pushed by hyperpolymath
42m 4s main
main
42m 4s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #94: Pull request #26 opened by hyperpolymath
42m 10s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
42m 10s
chore(clade): backfill [status] lifecycle block (#24) CodeQL Security Analysis #93: Commit 84b5aba pushed by hyperpolymath
17h 58m 36s main
main
17h 58m 36s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #92: Pull request #24 synchronize by hyperpolymath
18h 0m 22s chore/clade-status-backfill
chore/clade-status-backfill
18h 0m 22s
chore(ci): add dormant push-email notification workflow (#25) CodeQL Security Analysis #91: Commit 5621dd3 pushed by hyperpolymath
6m 58s main
main
6m 58s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #90: Pull request #25 opened by hyperpolymath
13h 28m 22s chore/push-email-notify
chore/push-email-notify
13h 28m 22s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #89: Pull request #24 opened by hyperpolymath
50m 59s chore/clade-status-backfill
chore/clade-status-backfill
50m 59s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #88: Commit 1e048a8 pushed by hyperpolymath
1h 19m 7s main
main
1h 19m 7s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #87: Pull request #23 opened by hyperpolymath
9h 33m 52s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
9h 33m 52s
chore(ci): bump standards reusable workflow pins (#22) CodeQL Security Analysis #86: Commit ef9881a pushed by hyperpolymath
1h 5m 38s main
main
1h 5m 38s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #85: Pull request #22 opened by hyperpolymath
1h 13m 52s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
1h 13m 52s
chore(nix->guix): remove flake.nix (Guix-only) (#21) CodeQL Security Analysis #84: Commit c840d01 pushed by hyperpolymath
59m 37s main
main
59m 37s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #83: Pull request #21 opened by hyperpolymath
55m 34s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
55m 34s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #82: Commit 078a729 pushed by hyperpolymath
44m 0s main
main
44m 0s
CodeQL Security Analysis CodeQL Security Analysis #81: Scheduled
43s main
main
43s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… CodeQL Security Analysis #80: Commit c89dd35 pushed by hyperpolymath
26m 41s main
main
26m 41s
Base camp: RSR Mustfile + green CI (#20) CodeQL Security Analysis #79: Commit 40863be pushed by hyperpolymath
3m 21s main
main
3m 21s
Base camp: RSR Mustfile + green CI CodeQL Security Analysis #78: Pull request #20 opened by hyperpolymath
2m 12s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
2m 12s