Skip to content

Actions: hyperpolymath/echo-types

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
333 workflow runs
333 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
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
docs(state): 6a2 checkpoint — refresh STATE/META to current ordinal-track reality CodeQL Security Analysis #13: Pull request #182 opened by hyperpolymath
58s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
58s
chore(deps): bump the actions group with 5 updates (#179) CodeQL Security Analysis #12: Commit 5224110 pushed by hyperpolymath
1m 29s main
main
1m 29s
chore(deps): bump the actions group with 5 updates CodeQL Security Analysis #11: Pull request #179 synchronize by hyperpolymath
1m 14s dependabot/github_actions/actions-69e071a450
dependabot/github_actions/actions-69e071a450
1m 14s
docs(bridge-status): record the eclexia thermodynamic consumer bridge… CodeQL Security Analysis #10: Commit 96d4d6f pushed by hyperpolymath
1m 7s main
main
1m 7s
docs(bridge-status): record the eclexia thermodynamic consumer bridge CodeQL Security Analysis #9: Pull request #180 synchronize by hyperpolymath
59s claude/gallant-faraday-LSAGJ
claude/gallant-faraday-LSAGJ
59s
ProTip! You can narrow down the results and go further in time using created:<2026-06-05 or the other filters available.