Skip to content

Actions: hyperpolymath/a2mliser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
136 workflow runs
136 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 CodeQL Security Analysis #111: Pull request #34 opened by hyperpolymath
45s claude/new-session-1fphit
claude/new-session-1fphit
45s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #110: Commit 543f386 pushed by hyperpolymath
1m 7s main
main
1m 7s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #109: Pull request #33 synchronize by hyperpolymath
2m 20s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
2m 20s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #108: Pull request #33 opened by hyperpolymath
50s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
50s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) CodeQL Security Analysis #107: Commit d4725c7 pushed by hyperpolymath
5m 3s main
main
5m 3s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #106: Pull request #32 opened by hyperpolymath
2m 29s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
2m 29s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… CodeQL Security Analysis #105: Commit 5ef92e9 pushed by hyperpolymath
27m 22s main
main
27m 22s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #104: Pull request #31 opened by hyperpolymath
28m 34s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
28m 34s
chore(licence): remove residual Palimpsest/PMPL contradiction text (#30) CodeQL Security Analysis #103: Commit 9db21b2 pushed by hyperpolymath
13m 0s main
main
13m 0s
chore(licence): remove residual Palimpsest/PMPL contradiction text CodeQL Security Analysis #102: Pull request #30 opened by hyperpolymath
8h 40m 42s chore/licence-contradiction-text-2026-06-25
chore/licence-contradiction-text-2026-06-25
8h 40m 42s
chore(ci): add dormant push-email notification workflow (#29) CodeQL Security Analysis #101: Commit 7b73e1e pushed by hyperpolymath
20h 59m 42s main
main
20h 59m 42s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #100: Pull request #29 synchronize by hyperpolymath
20h 56m 59s chore/push-email-notify
chore/push-email-notify
20h 56m 59s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #99: Pull request #29 opened by hyperpolymath
18m 23s chore/push-email-notify
chore/push-email-notify
18m 23s
chore(clade): backfill [status] lifecycle block (#28) CodeQL Security Analysis #98: Commit cac8c0e pushed by hyperpolymath
1h 35m 26s main
main
1h 35m 26s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #97: Pull request #28 opened by hyperpolymath
14h 39m 10s chore/clade-status-backfill
chore/clade-status-backfill
14h 39m 10s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #96: Commit 2e10384 pushed by hyperpolymath
1h 56m 21s main
main
1h 56m 21s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #95: Pull request #27 opened by hyperpolymath
8h 6m 9s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
8h 6m 9s
chore(ci): bump standards reusable workflow pins (#26) CodeQL Security Analysis #94: Commit 3b91de1 pushed by hyperpolymath
2m 28s main
main
2m 28s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #93: Pull request #26 opened by hyperpolymath
57s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
57s
chore(nix->guix): remove flake.nix (Guix-only) (#25) CodeQL Security Analysis #92: Commit 3b1a630 pushed by hyperpolymath
17m 18s main
main
17m 18s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #91: Pull request #25 opened by hyperpolymath
13m 33s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
13m 33s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #90: Commit 0638ddd pushed by hyperpolymath
48s main
main
48s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #89: Pull request #24 opened by hyperpolymath
48s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
48s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #88: Commit cb65504 pushed by hyperpolymath
46m 53s main
main
46m 53s
CodeQL Security Analysis CodeQL Security Analysis #87: Scheduled
42s main
main
42s