Skip to content

Actions: hyperpolymath/alloyiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
114 workflow runs
114 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
chore(clade): backfill [status] lifecycle block (#33) CodeQL Security Analysis #114: Commit d25a87d pushed by hyperpolymath
Queued main
main
Queued
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #113: Pull request #33 synchronize by hyperpolymath
Queued chore/clade-status-backfill
chore/clade-status-backfill
Queued
chore(ci): add dormant push-email notification workflow (#34) CodeQL Security Analysis #112: Commit 4708762 pushed by hyperpolymath
22m 53s main
main
22m 53s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #111: Pull request #34 opened by hyperpolymath
Queued chore/push-email-notify
chore/push-email-notify
Queued
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #110: Pull request #33 opened by hyperpolymath
29m 41s chore/clade-status-backfill
chore/clade-status-backfill
29m 41s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #109: Commit 1674eef pushed by hyperpolymath
1h 28m 59s main
main
1h 28m 59s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #108: Pull request #32 opened by hyperpolymath
Queued chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
Queued
chore(ci): bump standards reusable workflow pins (#31) CodeQL Security Analysis #107: Commit 8e0a812 pushed by hyperpolymath
14m 9s main
main
14m 9s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #106: Pull request #31 opened by hyperpolymath
10m 53s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
10m 53s
chore(nix->guix): remove flake.nix (Guix-only) (#30) CodeQL Security Analysis #105: Commit 17f594b pushed by hyperpolymath
43m 10s main
main
43m 10s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #104: Pull request #30 opened by hyperpolymath
45m 27s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
45m 27s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #103: Commit 73e31c5 pushed by hyperpolymath
52m 47s main
main
52m 47s
CodeQL Security Analysis CodeQL Security Analysis #102: Scheduled
41s main
main
41s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… CodeQL Security Analysis #101: Commit 24a5692 pushed by hyperpolymath
25m 30s main
main
25m 30s
docs: de-dup README/CHANGELOG (keep .adoc, port sponsor badge) (#29) CodeQL Security Analysis #100: Commit 44bd447 pushed by hyperpolymath
56s main
main
56s
docs: de-dup README/CHANGELOG (keep .adoc, port sponsor badge) CodeQL Security Analysis #99: Pull request #29 synchronize by hyperpolymath
54s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
54s
docs: de-dup README/CHANGELOG (keep .adoc, port sponsor badge) CodeQL Security Analysis #98: Pull request #29 opened by hyperpolymath
44s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
44s
Base camp: RSR Mustfile + green CI (ReScript→AffineScript, CodeQL mat… CodeQL Security Analysis #97: Commit d17f0f9 pushed by hyperpolymath
50s main
main
50s
Base camp: RSR Mustfile + green CI (ReScript→AffineScript, CodeQL matrix) CodeQL Security Analysis #96: Pull request #28 opened by hyperpolymath
1m 2s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
1m 2s
CodeQL Security Analysis CodeQL Security Analysis #95: Scheduled
36s main
main
36s
CodeQL Security Analysis CodeQL Security Analysis #94: Scheduled
39s main
main
39s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … CodeQL Security Analysis #93: Commit 1987fc8 pushed by hyperpolymath
33s main
main
33s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) CodeQL Security Analysis #92: Pull request #27 opened by hyperpolymath
55s ci/bump-a2ml-validate-action-sexpr-support
ci/bump-a2ml-validate-action-sexpr-support
55s
CodeQL Security Analysis CodeQL Security Analysis #91: Scheduled
46s main
main
46s
Add sponsor badge CodeQL Security Analysis #90: Commit 84fa3fb pushed by hyperpolymath
13m 3s main
main
13m 3s