Skip to content

Actions: hyperpolymath/betlangiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
147 workflow runs
147 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) (#38) CodeQL Security Analysis #122: Commit e59dbe0 pushed by hyperpolymath
8m 45s main
main
8m 45s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #121: Pull request #38 opened by hyperpolymath
7m 39s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
7m 39s
P1: fix Zig FFI to build and match the Idris2 ABI (#37) CodeQL Security Analysis #120: Commit eec7d55 pushed by hyperpolymath
43s main
main
43s
P1: fix Zig FFI to build and match the Idris2 ABI CodeQL Security Analysis #119: Pull request #37 opened by hyperpolymath
46s claude/new-session-1fphit
claude/new-session-1fphit
46s
Auto-install pinned Zig toolchain in setup + devcontainer (#36) CodeQL Security Analysis #118: Commit bf59a6c pushed by hyperpolymath
1m 5s main
main
1m 5s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #117: Pull request #36 opened by hyperpolymath
48s claude/new-session-1fphit
claude/new-session-1fphit
48s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #116: Commit 2ecf551 pushed by hyperpolymath
54s main
main
54s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #115: Pull request #35 synchronize by hyperpolymath
48s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
48s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #114: Pull request #35 opened by hyperpolymath
58s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
58s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#34) CodeQL Security Analysis #113: Commit ebd58e2 pushed by hyperpolymath
2m 54s main
main
2m 54s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #112: Pull request #34 opened by hyperpolymath
1m 41s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 41s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… CodeQL Security Analysis #111: Commit 1b145fe pushed by hyperpolymath
26m 33s main
main
26m 33s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #110: Pull request #33 opened by hyperpolymath
29m 22s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
29m 22s
chore(clade): backfill [status] lifecycle block (#31) CodeQL Security Analysis #109: Commit d4f74b8 pushed by hyperpolymath
17h 21m 39s main
main
17h 21m 39s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #108: Pull request #31 synchronize by hyperpolymath
17h 19m 37s chore/clade-status-backfill
chore/clade-status-backfill
17h 19m 37s
chore(ci): add dormant push-email notification workflow (#32) CodeQL Security Analysis #107: Commit d34ae3a pushed by hyperpolymath
30m 0s main
main
30m 0s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #106: Pull request #32 opened by hyperpolymath
15h 0m 43s chore/push-email-notify
chore/push-email-notify
15h 0m 43s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #105: Pull request #31 opened by hyperpolymath
36m 32s chore/clade-status-backfill
chore/clade-status-backfill
36m 32s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #104: Commit 4394a90 pushed by hyperpolymath
1h 13m 8s main
main
1h 13m 8s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #103: Pull request #30 opened by hyperpolymath
8h 34m 29s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
8h 34m 29s
chore(ci): bump standards reusable workflow pins (#29) CodeQL Security Analysis #102: Commit 0b5b8b6 pushed by hyperpolymath
29m 45s main
main
29m 45s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #101: Pull request #29 opened by hyperpolymath
30m 46s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
30m 46s
chore(nix->guix): remove flake.nix (Guix-only) (#28) CodeQL Security Analysis #100: Commit dc363f0 pushed by hyperpolymath
40m 0s main
main
40m 0s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #99: Pull request #28 opened by hyperpolymath
44m 30s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
44m 30s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #98: Commit 705f4a0 pushed by hyperpolymath
53m 45s main
main
53m 45s