Skip to content

Actions: hyperpolymath/dafniser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
50 workflow runs
50 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: bump actions/upload-artifact SHA to current v4 (#7) CodeQL Security Analysis #50: Commit 79b5ecd pushed by hyperpolymath
Queued main
main
Queued
ci: bump actions/upload-artifact SHA to current v4 CodeQL Security Analysis #49: Pull request #7 opened by hyperpolymath
Queued ci/bump-upload-artifact-v4-sha-final
ci/bump-upload-artifact-v4-sha-final
Queued
ci: bump actions/upload-artifact SHA to current v4 (#6) CodeQL Security Analysis #48: Commit 282533d pushed by hyperpolymath
Queued main
main
Queued
ci: bump actions/upload-artifact SHA to current v4 CodeQL Security Analysis #47: Pull request #6 opened by hyperpolymath
Queued ci/bump-upload-artifact-v4-sha-round3
ci/bump-upload-artifact-v4-sha-round3
Queued
ci: SHA-pin hyperpolymath validate-actions in dogfood-gate CodeQL Security Analysis #46: Commit fca68b5 pushed by hyperpolymath
1h 49m 42s main
main
1h 49m 42s
CodeQL Security Analysis CodeQL Security Analysis #45: Scheduled
41s main
main
41s
CodeQL Security Analysis CodeQL Security Analysis #44: Scheduled
48s main
main
48s
CodeQL Security Analysis CodeQL Security Analysis #43: Scheduled
43s main
main
43s
CodeQL Security Analysis CodeQL Security Analysis #42: Scheduled
37s main
main
37s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #41: Commit eabb35a pushed by hyperpolymath
10m 20s main
main
10m 20s
fix(rhodibot): automated RSR compliance fixes (#5) CodeQL Security Analysis #40: Commit 629e209 pushed by hyperpolymath
53s main
main
53s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #39: Pull request #5 opened by hyperpolymath
34s rhodibot/rsr-compliance-20260406
rhodibot/rsr-compliance-20260406
34s
fix(rhodibot): automated RSR compliance fixes (#4) CodeQL Security Analysis #38: Commit 8cf8257 pushed by hyperpolymath
58s main
main
58s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #37: Pull request #4 opened by hyperpolymath
36s rhodibot/rsr-compliance-20260406
rhodibot/rsr-compliance-20260406
36s
fix(rhodibot): automated RSR compliance fixes (#3) CodeQL Security Analysis #36: Commit 06eaf8f pushed by hyperpolymath
3m 27s main
main
3m 27s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #35: Pull request #3 opened by hyperpolymath
4m 14s rhodibot/rsr-compliance-20260413
rhodibot/rsr-compliance-20260413
4m 14s
fix(rhodibot): automated RSR compliance fixes (#2) CodeQL Security Analysis #34: Commit 03fa02c pushed by hyperpolymath
2m 2s main
main
2m 2s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #33: Pull request #2 opened by hyperpolymath
35s rhodibot/rsr-compliance-20260406
rhodibot/rsr-compliance-20260406
35s
chore: M5 CI/Workflow Sweep - final synchronisation CodeQL Security Analysis #32: Commit a99b975 pushed by hyperpolymath
51m 5s main
main
51m 5s
chore: automated sync of local changes CodeQL Security Analysis #31: Commit 60d754e pushed by hyperpolymath
16m 1s main
main
16m 1s
CodeQL Security Analysis CodeQL Security Analysis #30: Scheduled
1m 33s main
main
1m 33s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… CodeQL Security Analysis #29: Commit 8ac3420 pushed by hyperpolymath
1h 38m 46s main
main
1h 38m 46s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #28: Commit 2653237 pushed by hyperpolymath
21m 47s main
main
21m 47s
CodeQL Security Analysis CodeQL Security Analysis #27: Scheduled
49s main
main
49s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #26: Commit a128709 pushed by hyperpolymath
5h 27m 32s main
main
5h 27m 32s