Skip to content

Actions: hyperpolymath/dafniser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
42 workflow runs
42 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
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
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #25: Commit 53bc2e3 pushed by hyperpolymath
4h 15m 58s main
main
4h 15m 58s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #24: Commit 7c89edd pushed by hyperpolymath
3h 4m 1s main
main
3h 4m 1s
docs: add TOPOLOGY.md CodeQL Security Analysis #23: Commit 27c4ead pushed by hyperpolymath
2h 5m 24s main
main
2h 5m 24s
chore: add k9iser.toml (Batch 2B) CodeQL Security Analysis #22: Commit 6c19f43 pushed by hyperpolymath
2h 20m 8s main
main
2h 20m 8s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks CodeQL Security Analysis #21: Commit 1834862 pushed by hyperpolymath
49m 54s main
main
49m 54s
docs: add TEST-NEEDS.md (CRG C) CodeQL Security Analysis #20: Commit 964ea2b pushed by hyperpolymath
23m 22s main
main
23m 22s
fix(rhodibot): automated RSR compliance fixes CodeQL Security Analysis #19: Pull request #1 opened by hyperpolymath
39s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
39s
Add casket pages workflow CodeQL Security Analysis #18: Commit 0fffb6a pushed by hyperpolymath
18m 33s main
main
18m 33s