Skip to content

Actions: hyperpolymath/echo-types

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
288 workflow runs
288 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(governance): salvage net-new artifacts only — drop superseded s… CodeQL Security Analysis #38: Commit fd2a2f7 pushed by hyperpolymath
1m 3s main
main
1m 3s
Machine-readable governance scaffold + in-tree wiki (was 6a2-only skeleton) CodeQL Security Analysis #37: Pull request #195 synchronize by hyperpolymath
1m 14s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
1m 14s
proof(ordinal): general head-Ω monotonicity head-Ω-mono (Gate 1 bui… CodeQL Security Analysis #36: Commit 4f44c8f pushed by hyperpolymath
1m 17s main
main
1m 17s
proof(ordinal): general head-Ω monotonicity (Gate 1 building block) CodeQL Security Analysis #35: Pull request #198 opened by hyperpolymath
59s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
59s
proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ CodeQL Security Analysis #34: Commit 30018b6 pushed by hyperpolymath
1m 17s main
main
1m 17s
proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ CodeQL Security Analysis #33: Pull request #196 synchronize by hyperpolymath
55s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
55s
proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ CodeQL Security Analysis #32: Pull request #196 opened by hyperpolymath
1m 1s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
1m 1s
docs: record echo-types typesystem-integration sweep (4 downstream co… CodeQL Security Analysis #31: Commit 48b9c11 pushed by hyperpolymath
1m 20s main
main
1m 20s
docs: record echo-types typesystem-integration sweep (4 downstream consumers) CodeQL Security Analysis #30: Pull request #194 opened by hyperpolymath
54s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
54s
fix(hypatia): farm token key → secret-name (scanner FP on 'secret = …') CodeQL Security Analysis #29: Commit 8e84f69 pushed by hyperpolymath
1m 15s main
main
1m 15s
docs(governance): 6a2 S-expr→TOML conversion + 2026-06-12 checkpoint (bot directives, Dust/Bust, self-validating) CodeQL Security Analysis #28: Pull request #187 synchronize by hyperpolymath
54s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
54s
docs(governance): 6a2 S-expr→TOML conversion + 2026-06-12 checkpoint (bot directives, Dust/Bust, self-validating) CodeQL Security Analysis #27: Pull request #187 opened by hyperpolymath
49s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
49s
fix(LICENSE): restore SPDX-License-Identifier header CodeQL Security Analysis #26: Commit e6db559 pushed by hyperpolymath
1m 15s main
main
1m 15s
fix(LICENSE): restore SPDX-License-Identifier header CodeQL Security Analysis #25: Pull request #186 opened by hyperpolymath
1m 0s fix/license-spdx-restore
fix/license-spdx-restore
1m 0s
estate-standardization-20260607 (DRAFT — owner-only LICENSE review re… CodeQL Security Analysis #24: Commit 90d178b pushed by hyperpolymath
1m 31s main
main
1m 31s
estate-standardization-20260607 (DRAFT — owner-only LICENSE review required) CodeQL Security Analysis #23: Pull request #185 synchronize by hyperpolymath
1m 2s estate-standardization-20260607
estate-standardization-20260607
1m 2s
estate-standardization-20260607 (DRAFT — owner-only LICENSE review required) CodeQL Security Analysis #22: Pull request #185 synchronize by hyperpolymath
56s estate-standardization-20260607
estate-standardization-20260607
56s
chore(deps): bump github/codeql-action in the actions group CodeQL Security Analysis #21: Commit 3ce822e pushed by hyperpolymath
1m 11s main
main
1m 11s
chore(deps): bump github/codeql-action from 4.36.1 to 4.36.2 in the actions group CodeQL Security Analysis #20: Pull request #183 synchronize by hyperpolymath
1m 9s dependabot/github_actions/actions-0321e4ed66
dependabot/github_actions/actions-0321e4ed66
1m 9s
docs(CLAIMS_AUDIT): verify mappings — add VERDICT + EVIDENCE columns CodeQL Security Analysis #19: Commit e2381df pushed by hyperpolymath
1m 5s main
main
1m 5s
docs(CLAIMS_AUDIT): Gate G1 input — mapping + verdict audit CodeQL Security Analysis #18: Pull request #184 opened by hyperpolymath
57s docs/claims-audit-2026-06-10
docs/claims-audit-2026-06-10
57s
CodeQL Security Analysis CodeQL Security Analysis #17: Scheduled
1m 7s main
main
1m 7s
chore(deps): bump github/codeql-action from 4.36.1 to 4.36.2 in the actions group CodeQL Security Analysis #16: Pull request #183 opened by dependabot Bot
57s dependabot/github_actions/actions-0321e4ed66
dependabot/github_actions/actions-0321e4ed66
57s
docs(state): 6a2 checkpoint — refresh STATE/META to current ordinal-track reality CodeQL Security Analysis #15: Pull request #182 synchronize by hyperpolymath
1m 18s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 18s
chore: gitignore _build/; correct CITATION author email CodeQL Security Analysis #14: Commit 9c00087 pushed by hyperpolymath
1m 10s main
main
1m 10s
ProTip! You can narrow down the results and go further in time using created:<2026-06-05 or the other filters available.