Skip to content

Actions: hyperpolymath/typell

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
214 workflow runs
214 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(ci): add dormant push-email notification workflow (#28) CodeQL Security Analysis #139: Commit b8ea591 pushed by hyperpolymath
20h 47m 31s main
main
20h 47m 31s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #138: Pull request #28 opened by hyperpolymath
20h 28m 34s chore/push-email-notify
chore/push-email-notify
20h 28m 34s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#27) CodeQL Security Analysis #137: Commit 4ca2cd5 pushed by hyperpolymath
1h 6m 1s main
main
1h 6m 1s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #136: Pull request #27 opened by hyperpolymath
18h 20m 11s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 20m 11s
chore(clade): backfill [status] lifecycle block (default active) (#26) CodeQL Security Analysis #135: Commit e55aa85 pushed by hyperpolymath
35m 12s main
main
35m 12s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #134: Pull request #26 opened by hyperpolymath
15h 2m 22s chore/clade-status-backfill
chore/clade-status-backfill
15h 2m 22s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#25) CodeQL Security Analysis #133: Commit 202524a pushed by hyperpolymath
1h 59m 13s main
main
1h 59m 13s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #132: Pull request #25 opened by hyperpolymath
7h 18m 27s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
7h 18m 27s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#24) CodeQL Security Analysis #131: Commit afe98bb pushed by hyperpolymath
22m 38s main
main
22m 38s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #130: Pull request #24 opened by hyperpolymath
21m 21s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
21m 21s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #129: Commit 23850c8 pushed by hyperpolymath
1h 17m 58s main
main
1h 17m 58s
fix(license): correct PMPL-1.0 -> MPL-2.0 SPDX headers (3 CI workflows) CodeQL Security Analysis #128: Commit 062cf34 pushed by hyperpolymath
41s main
main
41s
fix(license): typell PMPL-1.0 → MPL-2.0 SPDX headers (3 CI workflows) CodeQL Security Analysis #127: Pull request #23 opened by hyperpolymath
37s claude/hopeful-babbage-pn0l4o
claude/hopeful-babbage-pn0l4o
37s
fix(abi): typell Idris package scaffold + 5 errors — honest proof-debt report (NOT yet verified) CodeQL Security Analysis #126: Pull request #22 opened by hyperpolymath
29s claude/hopeful-babbage-pn0l4o
claude/hopeful-babbage-pn0l4o
29s
chore(root): complete Phase 2 — move TOPOLOGY.md, archive MAINTAINERS.md CodeQL Security Analysis #125: Commit c1ff8aa pushed by hyperpolymath
42s main
main
42s
chore(root): typell root tidy-up — Phase 1+2 (build-safe relocate/archive) CodeQL Security Analysis #124: Pull request #21 opened by hyperpolymath
37s chore/root-tidyup-phase1-2
chore/root-tidyup-phase1-2
37s
docs(affirmation): AFFIRMATION (owner-granted SPDX exception 2026-06-16) CodeQL Security Analysis #123: Commit e17ab13 pushed by hyperpolymath
56s main
main
56s
docs/affirmation 2026 06 16 CodeQL Security Analysis #122: Pull request #20 synchronize by hyperpolymath
36s docs/affirmation-2026-06-16
docs/affirmation-2026-06-16
36s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#19) CodeQL Security Analysis #121: Commit 32cdbee pushed by hyperpolymath
10m 11s main
main
10m 11s
ci(codeql): cron weekly→monthly (cut 3, standards#288) CodeQL Security Analysis #120: Pull request #19 opened by hyperpolymath
9m 48s cicd/codeql-cron-monthly
cicd/codeql-cron-monthly
9m 48s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … CodeQL Security Analysis #119: Commit 23965cb pushed by hyperpolymath
41s main
main
41s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) CodeQL Security Analysis #118: Pull request #18 opened by hyperpolymath
1m 6s ci/bump-a2ml-validate-action-sexpr-support
ci/bump-a2ml-validate-action-sexpr-support
1m 6s
CodeQL Security Analysis CodeQL Security Analysis #117: Scheduled
34s main
main
34s
fix(ci): replace fake action SHA pins with version-faithful real SHAs… CodeQL Security Analysis #116: Commit bfc0225 pushed by hyperpolymath
13h 2m 58s main
main
13h 2m 58s
fix(ci): version-faithful replacement of fake action SHA pins CodeQL Security Analysis #115: Pull request #17 opened by hyperpolymath
13h 1m 39s claude/fix-fake-action-shas-round2
claude/fix-fake-action-shas-round2
13h 1m 39s