Skip to content

Actions: hyperpolymath/007

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
505 workflow runs
505 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(L10): mutable agent state — set <field> = <expr> CodeQL Security Analysis #480: Commit 5566f62 pushed by hyperpolymath
4s main
main
4s
feat(L10): mutable agent state — set &lt;field&gt; = &lt;expr&gt; CodeQL Security Analysis #479: Pull request #53 opened by hyperpolymath
4s claude/mutable-agent-state
claude/mutable-agent-state
4s
docs(consolidate): sweep AFFIRMATION + status + handover to verified … CodeQL Security Analysis #478: Commit fda2604 pushed by hyperpolymath
5s main
main
5s
docs(consolidate): sweep AFFIRMATION + status + handover to verified main (214a08f) CodeQL Security Analysis #477: Pull request #52 opened by hyperpolymath
5s claude/consolidate-l10-rung3b-proofsuite
claude/consolidate-l10-rung3b-proofsuite
5s
feat(L10): rung 3b static half — cross-handler named residues CodeQL Security Analysis #476: Commit 214a08f pushed by hyperpolymath
5s main
main
5s
feat(L10): rung 3b static half — cross-handler named residues CodeQL Security Analysis #475: Pull request #50 synchronize by hyperpolymath
5s claude/l10-rung3b-static
claude/l10-rung3b-static
5s
chore(proof-suite): refresh stale status labels to verified passing… CodeQL Security Analysis #474: Commit e69c02c pushed by hyperpolymath
4s main
main
4s
chore(proof-suite): refresh stale status labels to verified passing (35/37) CodeQL Security Analysis #473: Pull request #51 opened by hyperpolymath
4s claude/proof-suite-status-refresh
claude/proof-suite-status-refresh
4s
feat(typecheck): detect duplicate function / type / agent declarations CodeQL Security Analysis #472: Commit c9a9e92 pushed by hyperpolymath
5s main
main
5s
feat(typecheck): detect duplicate function / type / agent declarations CodeQL Security Analysis #471: Pull request #49 opened by hyperpolymath
6s claude/dup-detection-fn-type-agent
claude/dup-detection-fn-type-agent
6s
docs: add AFFIRMATION, must/intend/wish status, and next-Claude handoff CodeQL Security Analysis #470: Commit 06033e6 pushed by hyperpolymath
12s main
main
12s
docs: AFFIRMATION + must/intend/wish status + next-Claude handoff CodeQL Security Analysis #469: Pull request #48 opened by hyperpolymath
4s claude/affirmation-and-handover
claude/affirmation-and-handover
4s
fix(proof-suite): make the runner's awk POSIX-portable CodeQL Security Analysis #468: Commit 2c52cf6 pushed by hyperpolymath
6s main
main
6s
fix(proof-suite): make the runner's awk POSIX-portable (mawk reported 0/0) CodeQL Security Analysis #467: Pull request #47 opened by hyperpolymath
7s claude/proof-suite-runner-awk-portability
claude/proof-suite-runner-awk-portability
7s
feat(typecheck): detect duplicate locale / choreography declarations CodeQL Security Analysis #466: Commit d3757b8 pushed by hyperpolymath
5s main
main
5s
feat(typecheck): detect duplicate declarations in previously-skipped decls (imports, locales, choreographies) CodeQL Security Analysis #465: Pull request #46 synchronize by hyperpolymath
5s claude/import-binding-collisions
claude/import-binding-collisions
5s
feat(typecheck): detect duplicate declarations in previously-skipped decls (imports, locales, choreographies) CodeQL Security Analysis #464: Pull request #46 opened by hyperpolymath
13s claude/import-binding-collisions
claude/import-binding-collisions
13s
build(just): add just gate — one-command local green-check CodeQL Security Analysis #463: Commit f811489 pushed by hyperpolymath
12s main
main
12s
build(just): add just gate — one-command local green-check CodeQL Security Analysis #462: Pull request #45 opened by hyperpolymath
4s claude/just-gate-local-ci
claude/just-gate-local-ci
4s
fix(deps): bump rustls-webpki 0.103.12 -> 0.103.13 (GHSA-82j2-j2ch-gfr8) CodeQL Security Analysis #461: Commit 99a845e pushed by hyperpolymath
14s main
main
14s
security(deps): bump rustls-webpki 0.103.12→0.103.13 (GHSA-82j2-j2ch-gfr8, HIGH) CodeQL Security Analysis #460: Pull request #44 opened by hyperpolymath
14s fix/rustls-webpki-GHSA-82j2-j2ch-gfr8
fix/rustls-webpki-GHSA-82j2-j2ch-gfr8
14s
Create anchors CodeQL Security Analysis #459: Commit e7d2bbd pushed by hyperpolymath
43s main
main
43s
Delete .machine_readable/svc directory CodeQL Security Analysis #458: Commit 2f8c71c pushed by hyperpolymath
7s main
main
7s
Delete eclexiaiser.toml CodeQL Security Analysis #457: Commit 42c8c6f pushed by hyperpolymath
13s main
main
13s
Delete k9iser.toml CodeQL Security Analysis #456: Commit 7cec804 pushed by hyperpolymath
6s main
main
6s