Skip to content

Actions: hyperpolymath/typell

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
129 workflow runs
129 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: 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
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#16) CodeQL Security Analysis #114: Commit 0c73963 pushed by hyperpolymath
4h 21m 19s main
main
4h 21m 19s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) CodeQL Security Analysis #113: Pull request #16 opened by hyperpolymath
12h 40m 52s ci/repin-orphan-reusable-shas
ci/repin-orphan-reusable-shas
12h 40m 52s
ci(hypatia-scan): repin reusable to merge-commit SHA (#15) CodeQL Security Analysis #112: Commit d546a72 pushed by hyperpolymath
7h 53m 50s main
main
7h 53m 50s
chore(ci): replace secret-scanner.yml with reusable wrapper (#13) CodeQL Security Analysis #111: Commit 6113daf pushed by hyperpolymath
7s main
main
7s
docs: record tech-debt audit findings (2026-05-26) (#11) CodeQL Security Analysis #110: Commit ebc8f10 pushed by hyperpolymath
7s main
main
7s
chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re… CodeQL Security Analysis #109: Commit 4044943 pushed by hyperpolymath
6s main
main
6s
chore(ci): replace scorecard.yml with reusable wrapper (#14) CodeQL Security Analysis #108: Commit 99531bb pushed by hyperpolymath
3h 45m 10s main
main
3h 45m 10s
chore(ci): replace mirror.yml with reusable wrapper (#12) CodeQL Security Analysis #107: Commit f1fe1bb pushed by hyperpolymath
3h 23m 35s main
main
3h 23m 35s
ci(hypatia-scan): repin reusable to merge-commit SHA (orphan-SHA fix) CodeQL Security Analysis #106: Pull request #15 opened by hyperpolymath
6h 5m 12s ci/hypatia-scan-pin-fix
ci/hypatia-scan-pin-fix
6h 5m 12s
chore(ci): replace scorecard.yml with reusable wrapper CodeQL Security Analysis #105: Pull request #14 opened by hyperpolymath
9h 22m 4s chore/scorecard-reusable-wrapper
chore/scorecard-reusable-wrapper
9h 22m 4s