Skip to content

Actions: hyperpolymath/standards

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
875 workflow runs
875 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
feat(check-trusted-base): add .trusted-base-ignore path-fragment exem… CodeQL Security Analysis #600: Commit 3d4e26d pushed by hyperpolymath
1m 24s main
main
1m 24s
feat(check-trusted-base): add .trusted-base-ignore path-fragment exemptions CodeQL Security Analysis #599: Pull request #223 opened by hyperpolymath
1m 18s claude/trusted-base-ignore-config
claude/trusted-base-ignore-config
1m 18s
docs(policy): fill in trusted-base policy — Lean + Idris2 OWED + #211… CodeQL Security Analysis #598: Commit 12d6fd6 pushed by hyperpolymath
1m 31s main
main
1m 31s
docs(policy): fill in trusted-base policy — Lean + Idris2 OWED + #211 cross-link CodeQL Security Analysis #597: Pull request #222 synchronize by hyperpolymath
14m 32s docs/trusted-base-fill-in-203
docs/trusted-base-fill-in-203
14m 32s
docs(policy): correct ephapax Admitted count (3 → 1) + link adoption … CodeQL Security Analysis #596: Commit 5eb28d7 pushed by hyperpolymath
12m 25s main
main
12m 25s
docs(policy): fill in trusted-base policy — Lean + Idris2 OWED + #211 cross-link CodeQL Security Analysis #595: Pull request #222 synchronize by hyperpolymath
7m 29s docs/trusted-base-fill-in-203
docs/trusted-base-fill-in-203
7m 29s
docs(policy): fill in trusted-base policy — Lean + Idris2 OWED + #211 cross-link CodeQL Security Analysis #594: Pull request #222 opened by hyperpolymath
4m 52s docs/trusted-base-fill-in-203
docs/trusted-base-fill-in-203
4m 52s
audit: classify 4 PA021 justified real-analysis postulates (informati… CodeQL Security Analysis #593: Commit 5a78322 pushed by hyperpolymath
18m 36s main
main
18m 36s
docs(policy): correct ephapax Admitted count (3 → 1) + link adoption PR CodeQL Security Analysis #592: Pull request #221 opened by hyperpolymath
28m 52s docs/proof-debt-ephapax-count-fix
docs/proof-debt-ephapax-count-fix
28m 52s
docs(audits): orphan-SHA pin + BP wrapper-prefix mismatch — 2026-05-2… CodeQL Security Analysis #591: Commit d9ecb5c pushed by hyperpolymath
1h 40m 15s main
main
1h 40m 15s
fix(governance-reusable): pin standards self-checkout to main (workfl… CodeQL Security Analysis #590: Commit ad366b6 pushed by hyperpolymath
21m 47s main
main
21m 47s
docs(audits): 2026-05-26 estate tech-debt audit chain — closeout (#218) CodeQL Security Analysis #589: Commit 15d23de pushed by hyperpolymath
45m 59s main
main
45m 59s
docs: seed CHANGELOG.md (Keep-a-Changelog format) (#217) CodeQL Security Analysis #588: Commit a6246fa pushed by hyperpolymath
8m 53s main
main
8m 53s
chore(ci): replace scorecard.yml with reusable wrapper (#216) CodeQL Security Analysis #587: Commit 003a393 pushed by hyperpolymath
13m 40s main
main
13m 40s
docs(audits): reusables-convergence campaign closeout 2026-05-26 (#215) CodeQL Security Analysis #586: Commit 9f3ec91 pushed by hyperpolymath
2h 14m 32s main
main
2h 14m 32s
docs: seed docs/proof-debt.md for standards itself (#213) CodeQL Security Analysis #585: Commit 4b60bba pushed by hyperpolymath
8m 13s main
main
8m 13s
feat(governance): add check-trusted-base CI enforcement (#211) CodeQL Security Analysis #584: Commit 481c496 pushed by hyperpolymath
3m 43s main
main
3m 43s
chore(ci): replace secret-scanner.yml with reusable wrapper CodeQL Security Analysis #583: Pull request #212 synchronize by hyperpolymath
5h 20m 14s chore/secret-scanner-reusable-wrapper
chore/secret-scanner-reusable-wrapper
5h 20m 14s
docs(audits): orphan-SHA pin + BP wrapper-prefix mismatch — 2026-05-27 sidecar to #215 CodeQL Security Analysis #582: Pull request #220 opened by hyperpolymath
6h 26m 47s docs/audit-hypatia-pin-orphan-2026-05-27
docs/audit-hypatia-pin-orphan-2026-05-27
6h 26m 47s
fix(governance-reusable): pin standards self-checkout to main (workflow_sha was caller-SHA) CodeQL Security Analysis #581: Pull request #219 opened by hyperpolymath
6h 49m 11s fix/governance-reusable-workflow-sha-bug
fix/governance-reusable-workflow-sha-bug
6h 49m 11s
chore(ci): replace mirror.yml with reusable wrapper (#209) CodeQL Security Analysis #580: Commit 461c2b6 pushed by hyperpolymath
5h 6m 47s main
main
5h 6m 47s
feat(governance): add hypatia-scan-reusable.yml — biggest LOC leverag… CodeQL Security Analysis #579: Commit 915139d pushed by hyperpolymath
54m 48s main
main
54m 48s
feat(governance): add codeql-reusable.yml — consolidate 263-repo code… CodeQL Security Analysis #578: Commit ccf01cd pushed by hyperpolymath
4m 28s main
main
4m 28s
docs(audits): workflow convergence campaign 2026-05-26 (#199) CodeQL Security Analysis #577: Commit 6a519a2 pushed by hyperpolymath
2m 44s main
main
2m 44s
chore(license): migrate to AGPL-3.0-or-later (#207) CodeQL Security Analysis #576: Commit d609387 pushed by hyperpolymath
1h 19m 6s main
main
1h 19m 6s
ProTip! You can narrow down the results and go further in time using created:<2026-05-26 or the other filters available.