Skip to content

Actions: hyperpolymath/iseriser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
215 workflow runs
215 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
iseriser: codegen emits verified, compiling Idris2 ABI (P2) CodeQL Security Analysis #165: Pull request #69 opened by hyperpolymath
55s claude/new-session-1fphit
claude/new-session-1fphit
55s
iseriser: normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)… CodeQL Security Analysis #164: Commit 5f6dc0d pushed by hyperpolymath
43s main
main
43s
iseriser: normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #163: Pull request #68 opened by hyperpolymath
47s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
47s
iseriser: make Phase 0 ABI proofs genuinely compile and verify (#67) CodeQL Security Analysis #162: Commit 6f102af pushed by hyperpolymath
51s main
main
51s
iseriser: make Phase 0 ABI proofs genuinely compile and verify CodeQL Security Analysis #161: Pull request #67 synchronize by hyperpolymath
48s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
48s
iseriser: make Phase 0 ABI proofs genuinely compile and verify CodeQL Security Analysis #160: Pull request #67 opened by hyperpolymath
44s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
44s
docs(readme): convert README.adoc -> Markdown README.md (#66) CodeQL Security Analysis #159: Commit c0eb925 pushed by hyperpolymath
52m 25s main
main
52m 25s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #158: Pull request #66 opened by hyperpolymath
52m 23s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
52m 23s
chore(clade): backfill [status] lifecycle block (default active) (#64) CodeQL Security Analysis #157: Commit 3f5a7e5 pushed by hyperpolymath
18h 41m 22s main
main
18h 41m 22s
chore(ci): add dormant push-email notification workflow (#65) CodeQL Security Analysis #156: Commit a484e7f pushed by hyperpolymath
9m 18s main
main
9m 18s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #155: Pull request #65 opened by hyperpolymath
12h 32m 54s chore/push-email-notify
chore/push-email-notify
12h 32m 54s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #154: Pull request #64 opened by hyperpolymath
12h 15m 49s chore/clade-status-backfill
chore/clade-status-backfill
12h 15m 49s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#63) CodeQL Security Analysis #153: Commit 8d9911e pushed by hyperpolymath
1h 13m 27s main
main
1h 13m 27s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #152: Pull request #63 opened by hyperpolymath
10h 36m 57s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
10h 36m 57s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#62) CodeQL Security Analysis #151: Commit 3438a24 pushed by hyperpolymath
1h 10m 52s main
main
1h 10m 52s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #150: Pull request #62 opened by hyperpolymath
8h 5m 24s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
8h 5m 24s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#61) CodeQL Security Analysis #149: Commit 79155ba pushed by hyperpolymath
37m 22s main
main
37m 22s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #148: Pull request #61 opened by hyperpolymath
37m 16s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
37m 16s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #147: Commit 08363bd pushed by hyperpolymath
1h 0m 26s main
main
1h 0m 26s
CodeQL Security Analysis CodeQL Security Analysis #146: Scheduled
49s main
main
49s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… CodeQL Security Analysis #145: Commit 14b82f0 pushed by hyperpolymath
24m 59s main
main
24m 59s
Base camp: fold in the AOLD/iSOS/-iser-Atlas coordination layer + sca… CodeQL Security Analysis #144: Commit d7f9b17 pushed by hyperpolymath
1m 35s main
main
1m 35s
Base camp: fold in the AOLD/iSOS/-iser-Atlas coordination layer + scaffold emits Mustfile CodeQL Security Analysis #143: Pull request #60 synchronize by hyperpolymath
50s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
50s
Base camp: fold in the AOLD/iSOS/-iser-Atlas coordination layer + scaffold emits Mustfile CodeQL Security Analysis #142: Pull request #60 synchronize by hyperpolymath
53s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
53s
Base camp: fold in the AOLD/iSOS/-iser-Atlas coordination layer + scaffold emits Mustfile CodeQL Security Analysis #141: Pull request #60 synchronize by hyperpolymath
35s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
35s