Skip to content

Actions: hyperpolymath/proven-servers

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
187 workflow runs
187 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(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
chore: migrate license from PMPL-1.0-or-later to MPL-2.0 CodeQL Security Analysis #167: Commit 8f4b13a pushed by hyperpolymath
4h 59m 48s main
main
4h 59m 48s
ci: redistribute concurrency-cancel guard to read-only check workflow… CodeQL Security Analysis #166: Commit 7cc9a17 pushed by hyperpolymath
16h 1m 14s main
main
16h 1m 14s
ci: redistribute concurrency-cancel guard to read-only check workflows CodeQL Security Analysis #165: Pull request #10 opened by hyperpolymath
16h 11m 41s sweep/standards-122-concurrency
sweep/standards-122-concurrency
16h 11m 41s
CodeQL Security Analysis CodeQL Security Analysis #164: Scheduled
1h 26m 2s main
main
1h 26m 2s
harden(ci): concurrency-cancel guard on canonical check workflows (#9) CodeQL Security Analysis #163: Commit 00095ff pushed by hyperpolymath
29m 24s main
main
29m 24s