Skip to content

Actions: hyperpolymath/proof-burrower

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
119 workflow runs
119 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
ci: refresh standards reusable pins to current HEAD (d7c2271) (#39) CodeQL Security Analysis #94: Commit 090eb87 pushed by hyperpolymath
37s main
main
37s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #93: Pull request #39 opened by hyperpolymath
5s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
5s
chore(ci): add dormant push-email notification workflow (#38) CodeQL Security Analysis #92: Commit f94daaa pushed by hyperpolymath
2m 20s main
main
2m 20s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #91: Pull request #38 synchronize by hyperpolymath
2m 24s chore/push-email-notify
chore/push-email-notify
2m 24s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #90: Pull request #38 opened by hyperpolymath
59s chore/push-email-notify
chore/push-email-notify
59s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #89: Commit 5490361 pushed by hyperpolymath
1m 6s main
main
1m 6s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #88: Pull request #36 synchronize by hyperpolymath
1m 16s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
1m 16s
chore(clade): backfill [status] lifecycle block (#37) CodeQL Security Analysis #87: Commit 9b920de pushed by hyperpolymath
1m 52s main
main
1m 52s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #86: Pull request #37 opened by hyperpolymath
3m 25s chore/clade-status-backfill
chore/clade-status-backfill
3m 25s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #85: Pull request #36 opened by hyperpolymath
1m 16s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
1m 16s
chore(ci): bump standards reusable workflow pins (#35) CodeQL Security Analysis #84: Commit 4918636 pushed by hyperpolymath
34m 51s main
main
34m 51s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #83: Pull request #35 opened by hyperpolymath
34m 40s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
34m 40s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #82: Commit ddd0d26 pushed by hyperpolymath
24s main
main
24s
CodeQL Security Analysis CodeQL Security Analysis #81: Scheduled
5s main
main
5s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… CodeQL Security Analysis #80: Commit 441c1e1 pushed by hyperpolymath
8s main
main
8s
CodeQL Security Analysis CodeQL Security Analysis #79: Scheduled
13s main
main
13s
ci: cut Actions burn — scope push triggers + concurrency-cancel CodeQL Security Analysis #78: Commit 4c38e3c pushed by hyperpolymath
14s main
main
14s
ci: cut Actions burn — scope push triggers + concurrency-cancel CodeQL Security Analysis #77: Pull request #34 opened by hyperpolymath
13s ci/burn-reduction-triggers-concurrency
ci/burn-reduction-triggers-concurrency
13s
security: standardize secret scanning on TruffleHog (#33) CodeQL Security Analysis #76: Commit 23434e9 pushed by hyperpolymath
6s main
main
6s
security: standardize secret scanning on TruffleHog CodeQL Security Analysis #75: Pull request #33 synchronize by hyperpolymath
15s claude/safedom-res-stale-sweep
claude/safedom-res-stale-sweep
15s
CodeQL Security Analysis CodeQL Security Analysis #74: Scheduled
4s main
main
4s
Update issue templates CodeQL Security Analysis #73: Commit a210f25 pushed by hyperpolymath
3m 6s main
main
3m 6s
CodeQL Security Analysis CodeQL Security Analysis #72: Scheduled
3m 12s main
main
3m 12s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#31) CodeQL Security Analysis #71: Commit 27d09aa pushed by hyperpolymath
2h 15m 56s main
main
2h 15m 56s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) CodeQL Security Analysis #70: Pull request #31 opened by hyperpolymath
2h 14m 9s ci/repin-orphan-reusable-shas
ci/repin-orphan-reusable-shas
2h 14m 9s