Skip to content

Actions: hyperpolymath/proven-servers

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
192 workflow runs
192 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: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #192: Commit 12dac4d pushed by hyperpolymath
1h 15m 13s main
main
1h 15m 13s
chore(deps): bump the actions group with 3 updates CodeQL Security Analysis #191: Commit 08cb576 pushed by hyperpolymath
1m 29s main
main
1m 29s
chore(deps): bump the actions group with 3 updates CodeQL Security Analysis #190: Pull request #24 opened by dependabot Bot
52s dependabot/github_actions/actions-bd5a990afb
dependabot/github_actions/actions-bd5a990afb
52s
chore(deps): bump the actions group with 13 updates CodeQL Security Analysis #189: Commit 232c4be pushed by hyperpolymath
1m 17s main
main
1m 17s
chore(deps): bump the actions group with 13 updates CodeQL Security Analysis #188: Pull request #23 opened by dependabot Bot
1m 3s dependabot/github_actions/actions-7d87636b64
dependabot/github_actions/actions-7d87636b64
1m 3s
feat(protocols): proven-epistemic disclosure core (#95) + estate stan… CodeQL Security Analysis #187: Commit 5a09203 pushed by hyperpolymath
1m 16s main
main
1m 16s
feat(protocols): proven-epistemic disclosure core (#95) + estate standardization stack CodeQL Security Analysis #186: Pull request #21 synchronize by hyperpolymath
1m 2s claude/fix-fake-setup-zig-sha
claude/fix-fake-setup-zig-sha
1m 2s
feat(protocols): proven-epistemic disclosure core (#95) + estate standardization stack CodeQL Security Analysis #185: Pull request #21 synchronize by hyperpolymath
1m 3s claude/fix-fake-setup-zig-sha
claude/fix-fake-setup-zig-sha
1m 3s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#20) CodeQL Security Analysis #184: Commit f5fd414 pushed by hyperpolymath
11m 28s main
main
11m 28s
ci(codeql): cron weekly→monthly (cut 3, standards#288) CodeQL Security Analysis #183: Pull request #20 opened by hyperpolymath
9m 59s cicd/codeql-cron-monthly
cicd/codeql-cron-monthly
9m 59s
CodeQL Security Analysis CodeQL Security Analysis #182: Scheduled
1m 12s main
main
1m 12s
fix(ci): replace fake goto-bus-stop/setup-zig SHA pin (#19) CodeQL Security Analysis #181: Commit 0c28d81 pushed by hyperpolymath
1m 13s main
main
1m 13s
fix(ci): replace fake goto-bus-stop/setup-zig SHA pin CodeQL Security Analysis #180: Pull request #19 opened by hyperpolymath
1m 5s claude/fix-fake-setup-zig-sha
claude/fix-fake-setup-zig-sha
1m 5s
chore(scorecard): align schedule to canonical weekly ('23 4 * * 1') (… CodeQL Security Analysis #179: Commit cde2569 pushed by hyperpolymath
1m 25s main
main
1m 25s
chore(scorecard): align schedule to canonical weekly ('23 4 * * 1') CodeQL Security Analysis #178: Pull request #18 opened by hyperpolymath
1m 23s chore/scorecard-daily-to-weekly-2026-05-28
chore/scorecard-daily-to-weekly-2026-05-28
1m 23s
chore(v→zig): delete V-lang adapters, migrate fly.io deployment to Zi… CodeQL Security Analysis #177: Commit 4c70de0 pushed by hyperpolymath
2m 11s main
main
2m 11s
chore(v→zig): delete V-lang adapters, migrate fly.io deployment to Zig CodeQL Security Analysis #176: Pull request #17 opened by hyperpolymath
2m 14s chore/vlang-remediation
chore/vlang-remediation
2m 14s
docs: record tech-debt audit findings (2026-05-26) (#14) CodeQL Security Analysis #175: Commit 7371eb2 pushed by hyperpolymath
6h 33m 58s main
main
6h 33m 58s
chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re… CodeQL Security Analysis #174: Commit c3cee4f pushed by hyperpolymath
7s main
main
7s
chore(ci): replace mirror.yml with reusable wrapper (#16) CodeQL Security Analysis #173: Commit f6a10ed pushed by hyperpolymath
6h 38m 29s main
main
6h 38m 29s
chore(linguist): exclude Python from language detection (#15) CodeQL Security Analysis #172: Commit 054e389 pushed by hyperpolymath
3h 57m 0s main
main
3h 57m 0s
chore(ci): replace mirror.yml with reusable wrapper CodeQL Security Analysis #171: Pull request #16 opened by hyperpolymath
6h 29m 44s chore/mirror-reusable-wrapper
chore/mirror-reusable-wrapper
6h 29m 44s
chore(linguist): exclude Python from language detection CodeQL Security Analysis #170: Pull request #15 opened by hyperpolymath
5h 8m 1s chore/linguist-exclude-py
chore/linguist-exclude-py
5h 8m 1s
audit: classify 10 FFI unsafe findings as legitimate (PA001/PA007) CodeQL Security Analysis #169: Pull request #11 opened by hyperpolymath
1m 4s panic-fix/PA001-PA007-ffi-legitimate
panic-fix/PA001-PA007-ffi-legitimate
1m 4s
CodeQL Security Analysis CodeQL Security Analysis #168: Scheduled
1m 15s main
main
1m 15s