Skip to content

Actions: hyperpolymath/boj-server

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
994 workflow runs
994 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
fix(feedback): work over the stateless invoker + build boj-invoke in … CodeQL Security Analysis #794: Commit 052b753 pushed by hyperpolymath
1m 25s main
main
1m 25s
fix(feedback): work over the stateless invoker + build boj-invoke in e2e CodeQL Security Analysis #793: Pull request #194 opened by hyperpolymath
1m 10s claude/feedback-otron-fix
claude/feedback-otron-fix
1m 10s
feat(feedback): implement feedback-o-tron invoke dispatch (FFI-backed… CodeQL Security Analysis #792: Commit 3f49db3 pushed by hyperpolymath
1m 15s main
main
1m 15s
feat(feedback): implement feedback-o-tron invoke dispatch (FFI-backed) CodeQL Security Analysis #791: Pull request #193 opened by hyperpolymath
1m 4s claude/feedback-otron
claude/feedback-otron
1m 4s
fix(rest): restore tiered /menu + make /cartridges & feedback-o-tron … CodeQL Security Analysis #790: Commit 9c540b1 pushed by hyperpolymath
1m 16s main
main
1m 16s
fix(rest): restore tiered /menu + make /cartridges & feedback-o-tron E2E truthful CodeQL Security Analysis #789: Pull request #192 opened by hyperpolymath
1m 11s claude/e2e-rest-contract
claude/e2e-rest-contract
1m 11s
fix(cartridges): type-check all cartridge ABIs under Idris2 0.8.0 + g… CodeQL Security Analysis #788: Commit 79c8903 pushed by hyperpolymath
1m 10s main
main
1m 10s
fix(cartridges): type-check all cartridge ABIs under Idris2 0.8.0 + gate them in CI CodeQL Security Analysis #787: Pull request #191 synchronize by hyperpolymath
1m 16s claude/cartridge-abi-proofs
claude/cartridge-abi-proofs
1m 16s
fix(cartridges): type-check all cartridge ABIs under Idris2 0.8.0 + gate them in CI CodeQL Security Analysis #786: Pull request #191 synchronize by hyperpolymath
1m 10s claude/cartridge-abi-proofs
claude/cartridge-abi-proofs
1m 10s
fix(cartridges): type-check all cartridge ABIs under Idris2 0.8.0 + gate them in CI CodeQL Security Analysis #785: Pull request #191 opened by hyperpolymath
1m 9s claude/cartridge-abi-proofs
claude/cartridge-abi-proofs
1m 9s
chore(deps): bump nixpkgs from e9a7635 to 4df1b88 (#190) CodeQL Security Analysis #784: Commit 7b02920 pushed by hyperpolymath
1m 17s main
main
1m 17s
fix(abi): type-check all 17 Idris2 proofs under 0.8.0 (#189) CodeQL Security Analysis #783: Commit 3de07a6 pushed by hyperpolymath
1m 13s main
main
1m 13s
chore(deps): bump nixpkgs from e9a7635 to 4df1b88 CodeQL Security Analysis #782: Pull request #190 opened by dependabot Bot
1m 4s dependabot/nix/nixpkgs-4df1b88
dependabot/nix/nixpkgs-4df1b88
1m 4s
fix(abi): type-check all 17 Idris2 proofs under 0.8.0 CodeQL Security Analysis #781: Pull request #189 opened by hyperpolymath
1m 16s claude/zen-galileo-52EWF
claude/zen-galileo-52EWF
1m 16s
sync(cartridges/007-mcp): BindAddress.proof → .witness (closes #185) … CodeQL Security Analysis #780: Commit 165e353 pushed by hyperpolymath
1m 18s main
main
1m 18s
sync(cartridges/007-mcp): BindAddress.proof → .witness (closes #185) CodeQL Security Analysis #779: Pull request #187 opened by hyperpolymath
1m 14s sync/proof-to-witness-cart34-mirror
sync/proof-to-witness-cart34-mirror
1m 14s
feat(catalog+fetcher): strict schema validation + bundle refresh + re… CodeQL Security Analysis #778: Commit 06834c4 pushed by hyperpolymath
1m 35s main
main
1m 35s
feat(catalog+fetcher): strict schema validation + bundle refresh + rename sync (closes #183) CodeQL Security Analysis #777: Pull request #184 synchronize by hyperpolymath
4m 13s feat/strict-cartridge-validation-183
feat/strict-cartridge-validation-183
4m 13s
feat(catalog+fetcher): strict schema validation + bundle refresh + rename sync (closes #183) CodeQL Security Analysis #776: Pull request #184 opened by hyperpolymath
2m 27s feat/strict-cartridge-validation-183
feat/strict-cartridge-validation-183
2m 27s
docs(cartridges): document this dir as a fetcher-managed cache (Q5 So… CodeQL Security Analysis #775: Commit 272a1b6 pushed by hyperpolymath
1m 35s main
main
1m 35s
docs(proof-story): amend with echo-types foundation per owner directi… CodeQL Security Analysis #774: Commit 91e9cf1 pushed by hyperpolymath
1m 27s main
main
1m 27s
docs(cartridges): document this dir as a fetcher-managed cache (Q5 SoT) CodeQL Security Analysis #773: Pull request #182 opened by hyperpolymath
1m 12s docs/cartridges-sot-policy
docs/cartridges-sot-policy
1m 12s
docs(proof-story): amend with echo-types foundation per owner directive CodeQL Security Analysis #772: Pull request #181 opened by hyperpolymath
1m 15s docs/proof-story-echo-types-integration
docs/proof-story-echo-types-integration
1m 15s
docs(planning): proof story 2026-06-01 — bottom-up proof debt + 6-wav… CodeQL Security Analysis #771: Commit d2a63e2 pushed by hyperpolymath
1m 21s main
main
1m 21s
docs(planning): cartridge catalogue 2026-06-01 — 941-candidate plan (… CodeQL Security Analysis #770: Commit dc2c53e pushed by hyperpolymath
36s main
main
36s