Skip to content

Actions: hyperpolymath/oblibeniser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
100 workflow runs
100 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
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #100: Commit a676ed9 pushed by hyperpolymath
54s main
main
54s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #99: Pull request #27 synchronize by hyperpolymath
45s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
45s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #98: Pull request #27 opened by hyperpolymath
47s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
47s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#26) CodeQL Security Analysis #97: Commit 42575df pushed by hyperpolymath
2m 10s main
main
2m 10s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #96: Pull request #26 opened by hyperpolymath
52s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
52s
chore(clade): backfill [status] lifecycle block (#24) CodeQL Security Analysis #95: Commit ee82745 pushed by hyperpolymath
21h 4m 33s main
main
21h 4m 33s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #94: Pull request #24 synchronize by hyperpolymath
21h 7m 34s chore/clade-status-backfill
chore/clade-status-backfill
21h 7m 34s
chore(ci): add dormant push-email notification workflow (#25) CodeQL Security Analysis #93: Commit 20f5c86 pushed by hyperpolymath
2m 33s main
main
2m 33s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #92: Pull request #25 synchronize by hyperpolymath
20h 52m 7s chore/push-email-notify
chore/push-email-notify
20h 52m 7s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #91: Pull request #25 opened by hyperpolymath
16m 4s chore/push-email-notify
chore/push-email-notify
16m 4s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #90: Pull request #24 opened by hyperpolymath
25m 4s chore/clade-status-backfill
chore/clade-status-backfill
25m 4s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #89: Commit 19bf3f4 pushed by hyperpolymath
59m 3s main
main
59m 3s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #88: Pull request #23 opened by hyperpolymath
12h 9m 46s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
12h 9m 46s
chore(ci): bump standards reusable workflow pins (#22) CodeQL Security Analysis #87: Commit 1d39837 pushed by hyperpolymath
2h 46m 18s main
main
2h 46m 18s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #86: Pull request #22 opened by hyperpolymath
4h 24m 52s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
4h 24m 52s
chore(nix->guix): remove flake.nix (Guix-only) (#21) CodeQL Security Analysis #85: Commit 6e9cb82 pushed by hyperpolymath
54m 52s main
main
54m 52s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #84: Pull request #21 opened by hyperpolymath
54m 54s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
54m 54s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #83: Commit 2a67a05 pushed by hyperpolymath
44m 6s main
main
44m 6s
CodeQL Security Analysis CodeQL Security Analysis #82: Scheduled
41s main
main
41s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… CodeQL Security Analysis #81: Commit 1da543a pushed by hyperpolymath
17m 46s main
main
17m 46s
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup (#20) CodeQL Security Analysis #80: Commit 624faa6 pushed by hyperpolymath
1m 19s main
main
1m 19s
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup CodeQL Security Analysis #79: Pull request #20 opened by hyperpolymath
3m 38s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
3m 38s
CodeQL Security Analysis CodeQL Security Analysis #78: Scheduled
37s main
main
37s
CodeQL Security Analysis CodeQL Security Analysis #77: Scheduled
37s main
main
37s
CodeQL Security Analysis CodeQL Security Analysis #76: Scheduled
1m 26s main
main
1m 26s