Skip to content

Actions: hyperpolymath/proof-burrower

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
274 workflow runs
274 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: remove stale banned gen-v-connector V-lang recipe CodeQL Security Analysis #24: Pull request #8 opened by hyperpolymath
10s fix/remove-banned-v-lang-recipe
fix/remove-banned-v-lang-recipe
10s
fix(ci): rsr-antipattern.yml duplicate heredoc (#7) CodeQL Security Analysis #23: Commit 2d54180 pushed by hyperpolymath
33s main
main
33s
fix(ci): rsr-antipattern.yml duplicate heredoc CodeQL Security Analysis #22: Pull request #7 synchronize by hyperpolymath
18s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
18s
fix(ci): rsr-antipattern.yml duplicate heredoc CodeQL Security Analysis #21: Pull request #7 opened by hyperpolymath
15s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
15s
ci: bump actions/upload-artifact SHA to current v4 (#6) CodeQL Security Analysis #20: Commit 8bdff56 pushed by hyperpolymath
2m 7s main
main
2m 7s
ci: bump actions/upload-artifact SHA to current v4 CodeQL Security Analysis #19: Pull request #6 opened by hyperpolymath
51s ci/bump-upload-artifact-v4-sha-final
ci/bump-upload-artifact-v4-sha-final
51s
ci: bump actions/upload-artifact SHA to current v4 (#5) CodeQL Security Analysis #18: Commit 0d5d3d3 pushed by hyperpolymath
7m 56s main
main
7m 56s
ci: bump actions/upload-artifact SHA to current v4 CodeQL Security Analysis #17: Pull request #5 opened by hyperpolymath
7m 47s ci/bump-upload-artifact-v4-sha-round2
ci/bump-upload-artifact-v4-sha-round2
7m 47s
CodeQL Security Analysis CodeQL Security Analysis #16: Scheduled
3m 45s main
main
3m 45s
CodeQL Security Analysis CodeQL Security Analysis #15: Scheduled
3m 41s main
main
3m 41s
ci(antipattern): fix top-level dir matching + benchmarks/lsp/bench fi… CodeQL Security Analysis #14: Commit 85957a3 pushed by hyperpolymath
4m 5s main
main
4m 5s
ci(antipattern): fix top-level dir + benchmark/lsp filename matching CodeQL Security Analysis #13: Pull request #4 opened by hyperpolymath
4m 27s ci/antipattern-dynamic-exemptions-v3-1
ci/antipattern-dynamic-exemptions-v3-1
4m 27s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#3) CodeQL Security Analysis #12: Commit f061b3e pushed by hyperpolymath
3m 48s main
main
3m 48s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table CodeQL Security Analysis #11: Pull request #3 opened by hyperpolymath
4m 4s ci/antipattern-dynamic-exemptions
ci/antipattern-dynamic-exemptions
4m 4s
ci(antipattern): broaden TS allowlist (cli/, mod.ts, lsp-server, *vsc… CodeQL Security Analysis #10: Commit 0fe038e pushed by hyperpolymath
4m 23s main
main
4m 23s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*) CodeQL Security Analysis #9: Pull request #2 opened by hyperpolymath
4m 46s ci/antipattern-allowlist-v2
ci/antipattern-allowlist-v2
4m 46s
ci(antipattern): allowlist legit TS bridge/adapter paths (#1) CodeQL Security Analysis #8: Commit f1ea52f pushed by hyperpolymath
3m 47s main
main
3m 47s
ci(antipattern): allowlist legit TS bridge/adapter paths CodeQL Security Analysis #7: Pull request #1 opened by hyperpolymath
4m 24s ci/antipattern-allowlist-bridges
ci/antipattern-allowlist-bridges
4m 24s
docs(readme): add SPDX header and/or standard badges CodeQL Security Analysis #6: Commit 371bd65 pushed by hyperpolymath
21s main
main
21s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) CodeQL Security Analysis #5: Commit 3b2e1f0 pushed by hyperpolymath
6s main
main
6s
CodeQL Security Analysis CodeQL Security Analysis #4: Scheduled
5s main
main
5s
docs(experiments): record Burrower vs. manual closeout on tropical-re… CodeQL Security Analysis #3: Commit d921d70 pushed by hyperpolymath
4s main
main
4s
feat(specialists): expand playbooks with session-derived proof-repair… CodeQL Security Analysis #2: Commit 32de46a pushed by hyperpolymath
4s main
main
4s
feat: BI-1 serve socket + Julia oracle + project-root + sandbox + par… CodeQL Security Analysis #1: Commit 0bbfe59 pushed by hyperpolymath
4s main
main
4s
ProTip! You can narrow down the results and go further in time using created:<2026-04-26 or the other filters available.