Skip to content

Actions: hyperpolymath/boj-server

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
733 workflow runs
733 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(deps): bump nixpkgs from f9d8b65 to 4100e83 (#164) CodeQL Security Analysis #733: Commit e2a5df0 pushed by hyperpolymath
1m 33s main
main
1m 33s
chore(deps): bump nixpkgs from f9d8b65 to 4100e83 CodeQL Security Analysis #732: Pull request #164 synchronize by hyperpolymath
1m 25s dependabot/nix/nixpkgs-4100e83
dependabot/nix/nixpkgs-4100e83
1m 25s
fix(hcg-policy): cover wired POST /cartridge/:name/sse (Phase E §1.5)… CodeQL Security Analysis #731: Commit ff9f2be pushed by hyperpolymath
1m 32s main
main
1m 32s
fix(hcg-policy): cover wired POST /cartridge/:name/sse (Phase E §1.5) CodeQL Security Analysis #730: Pull request #165 opened by hyperpolymath
1m 0s hcg-phase-e/policy-sse-resync
hcg-phase-e/policy-sse-resync
1m 0s
chore(deps): bump nixpkgs from f9d8b65 to 4100e83 CodeQL Security Analysis #729: Pull request #164 opened by dependabot Bot
1m 2s dependabot/nix/nixpkgs-4100e83
dependabot/nix/nixpkgs-4100e83
1m 2s
docs(proof-debt): add canonical AXIOM: annotations to SafetyLemmas.id… CodeQL Security Analysis #728: Commit 47c4517 pushed by hyperpolymath
11m 52s main
main
11m 52s
docs(proof-debt): add canonical AXIOM: annotations to SafetyLemmas.idr CodeQL Security Analysis #727: Pull request #163 opened by hyperpolymath
10m 51s claude/proof-debt-axiom-annotations-202605
claude/proof-debt-axiom-annotations-202605
10m 51s
chore(ci): replace scorecard.yml with reusable wrapper (#162) CodeQL Security Analysis #726: Commit fabfbbe pushed by hyperpolymath
9h 49m 5s main
main
9h 49m 5s
chore(ci): replace scorecard.yml with reusable wrapper CodeQL Security Analysis #725: Pull request #162 opened by hyperpolymath
9h 48m 52s chore/scorecard-reusable-wrapper
chore/scorecard-reusable-wrapper
9h 48m 52s
docs: seed docs/proof-debt.md per trusted-base policy (#161) CodeQL Security Analysis #724: Commit f398065 pushed by hyperpolymath
1h 14m 2s main
main
1h 14m 2s
docs: seed docs/proof-debt.md per trusted-base policy CodeQL Security Analysis #723: Pull request #161 opened by hyperpolymath
8h 11m 53s claude/seed-proof-debt-2026-05-26
claude/seed-proof-debt-2026-05-26
8h 11m 53s
chore(ci): replace secret-scanner.yml with reusable wrapper (#160) CodeQL Security Analysis #722: Commit 8888353 pushed by hyperpolymath
36m 27s main
main
36m 27s
chore(ci): replace secret-scanner.yml with reusable wrapper CodeQL Security Analysis #721: Pull request #160 opened by hyperpolymath
7h 3m 32s chore/secret-scanner-reusable-wrapper
chore/secret-scanner-reusable-wrapper
7h 3m 32s
chore(ci): replace mirror.yml with reusable wrapper (#159) CodeQL Security Analysis #720: Commit f394c53 pushed by hyperpolymath
6m 8s main
main
6m 8s
chore(ci): replace mirror.yml with reusable wrapper CodeQL Security Analysis #719: Pull request #159 opened by hyperpolymath
4h 57m 23s chore/mirror-reusable-wrapper
chore/mirror-reusable-wrapper
4h 57m 23s
chore(deps): bump nixpkgs from 3d8f0f3 to f9d8b65 (#152) CodeQL Security Analysis #718: Commit 753de00 pushed by hyperpolymath
3m 21s main
main
3m 21s
chore(deps): bump nixpkgs from 3d8f0f3 to f9d8b65 CodeQL Security Analysis #717: Pull request #152 synchronize by hyperpolymath
4h 10m 46s dependabot/nix/nixpkgs-f9d8b65
dependabot/nix/nixpkgs-f9d8b65
4h 10m 46s
feat(catalog): configurable cartridges root + canonical schema + cate… CodeQL Security Analysis #716: Commit baac0f0 pushed by hyperpolymath
2h 22m 57s main
main
2h 22m 57s
feat(catalog): configurable cartridges root + canonical schema + category field sweep CodeQL Security Analysis #715: Pull request #158 opened by hyperpolymath
5h 1m 0s feat/cartridge-spec-mirror-and-config
feat/cartridge-spec-mirror-and-config
5h 1m 0s
chore(license): migrate to AGPL-3.0-or-later (#157) CodeQL Security Analysis #714: Commit a8e69c3 pushed by hyperpolymath
2m 14s main
main
2m 14s
chore(license): migrate to AGPL-3.0-or-later CodeQL Security Analysis #713: Pull request #157 opened by hyperpolymath
4h 57m 43s license/migrate-to-agpl-3.0-or-later
license/migrate-to-agpl-3.0-or-later
4h 57m 43s
audit: classify 119 FFI unsafe findings as legitimate (PA001/PA007) CodeQL Security Analysis #712: Pull request #154 synchronize by hyperpolymath
1m 12s panic-fix/PA001-cartridges-ffi-legitimate
panic-fix/PA001-cartridges-ffi-legitimate
1m 12s
audit: classify 119 FFI unsafe findings as legitimate (PA001/PA007) CodeQL Security Analysis #711: Pull request #154 opened by hyperpolymath
1m 5s panic-fix/PA001-cartridges-ffi-legitimate
panic-fix/PA001-cartridges-ffi-legitimate
1m 5s
audit: classify 2 FFI unsafe findings as legitimate (PA001/PA007) CodeQL Security Analysis #710: Pull request #153 opened by hyperpolymath
1m 16s panic-fix/PA001-ffi-zig-legitimate
panic-fix/PA001-ffi-zig-legitimate
1m 16s
chore(deps): bump nixpkgs from 3d8f0f3 to f9d8b65 CodeQL Security Analysis #709: Pull request #152 opened by dependabot Bot
1m 6s dependabot/nix/nixpkgs-f9d8b65
dependabot/nix/nixpkgs-f9d8b65
1m 6s