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
chore(ci): bump standards reusable workflow pins (#244) CodeQL Security Analysis #894: Commit dcbfb29 pushed by hyperpolymath
6m 44s main
main
6m 44s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #893: Pull request #244 opened by hyperpolymath
37m 59s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
37m 59s
chore(nix->guix): remove flake.nix (Guix-only) (#243) CodeQL Security Analysis #892: Commit d26a82a pushed by hyperpolymath
4m 51s main
main
4m 51s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #891: Pull request #243 opened by hyperpolymath
1m 47s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
1m 47s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#241) CodeQL Security Analysis #890: Commit ecbeaac pushed by hyperpolymath
1m 15s main
main
1m 15s
ci(codeql): cron weekly→monthly (cut 3, standards#288) CodeQL Security Analysis #889: Pull request #241 opened by hyperpolymath
1m 32s cicd/codeql-cron-monthly
cicd/codeql-cron-monthly
1m 32s
fix(abi): remove duplicate allTake in Boj.SafetyLemmas (core proofs g… CodeQL Security Analysis #888: Commit 73adbcb pushed by hyperpolymath
1m 16s main
main
1m 16s
fix(abi): remove duplicate allTake in Boj.SafetyLemmas (core proofs green) CodeQL Security Analysis #887: Pull request #237 opened by hyperpolymath
1m 4s claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
1m 4s
License: comprehensive PMPL residue scrub (#236) CodeQL Security Analysis #886: Commit f953c45 pushed by hyperpolymath
1m 14s main
main
1m 14s
License: comprehensive PMPL residue scrub CodeQL Security Analysis #885: Pull request #236 opened by hyperpolymath
1m 8s claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
1m 8s
License follow-up: agent-meta → MPL-2.0; scrub PMPL philosophy (#235) CodeQL Security Analysis #884: Commit 5c679b0 pushed by hyperpolymath
1m 16s main
main
1m 16s
License follow-up: agent-meta → MPL-2.0; scrub PMPL philosophy CodeQL Security Analysis #883: Pull request #235 opened by hyperpolymath
1m 10s claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
1m 10s
License normalisation: docs → CC-BY-SA-4.0; remove residual PMPL (#234) CodeQL Security Analysis #882: Commit c4d8ce5 pushed by hyperpolymath
1m 19s main
main
1m 19s
License normalisation: docs → CC-BY-SA-4.0; remove residual PMPL CodeQL Security Analysis #881: Pull request #234 synchronize by hyperpolymath
1m 6s claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
1m 6s
License normalisation: docs → CC-BY-SA-4.0; remove residual PMPL CodeQL Security Analysis #880: Pull request #234 opened by hyperpolymath
1m 2s claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
1m 2s
chore(deps): bump nixpkgs from 3e41b24 to b3c092d (#232) CodeQL Security Analysis #879: Commit 8a1e733 pushed by hyperpolymath
1m 15s main
main
1m 15s
boj-server.net website: install configurator + cartridge catalogue (#… CodeQL Security Analysis #878: Commit bec14cc pushed by hyperpolymath
1m 11s main
main
1m 11s
boj-server.net website: install configurator + cartridge catalogue CodeQL Security Analysis #877: Pull request #233 synchronize by hyperpolymath
1m 5s claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
1m 5s
boj-server.net website: install configurator + cartridge catalogue CodeQL Security Analysis #876: Pull request #233 opened by hyperpolymath
1m 8s claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
1m 8s
chore(deps): bump nixpkgs from 3e41b24 to b3c092d CodeQL Security Analysis #875: Pull request #232 opened by dependabot Bot
1m 17s dependabot/nix/nixpkgs-b3c092d
dependabot/nix/nixpkgs-b3c092d
1m 17s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #874: Commit a7238d5 pushed by hyperpolymath
44m 18s main
main
44m 18s
CodeQL Security Analysis CodeQL Security Analysis #873: Scheduled
1m 9s main
main
1m 9s
docs(integration): Phase E §1.4 prereq — BoJ-side observability spec … CodeQL Security Analysis #872: Commit 7e134bc pushed by hyperpolymath
1m 1s main
main
1m 1s
docs(integration): Phase E §1.4 prereq — BoJ-side observability spec (standards#100) CodeQL Security Analysis #871: Pull request #231 opened by hyperpolymath
58s feat-phase-e-boj-observability-spec
feat-phase-e-boj-observability-spec
58s
feat(hcg): add spec-coverage check script (standards#100 §1.5) (#230) CodeQL Security Analysis #870: Commit 567f244 pushed by hyperpolymath
1m 12s main
main
1m 12s