Skip to content

Actions: hyperpolymath/phronesiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
138 workflow runs
138 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 Layer 2: prove forbidden actions are never permitted (ethical safety) — flagship Idris2 proof CodeQL Security Analysis #113: Pull request #33 opened by hyperpolymath
59s claude/new-session-znxgm7
claude/new-session-znxgm7
59s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#32) CodeQL Security Analysis #112: Commit 31f6d0c pushed by hyperpolymath
1h 47m 9s main
main
1h 47m 9s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #111: Pull request #32 opened by hyperpolymath
1h 44m 15s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 44m 15s
ci: add ABI↔FFI conformance gate (#31) CodeQL Security Analysis #110: Commit 3ad6937 pushed by hyperpolymath
1m 2s main
main
1m 2s
ci: add ABI↔FFI conformance gate CodeQL Security Analysis #109: Pull request #31 opened by hyperpolymath
53s claude/new-session-1fphit
claude/new-session-1fphit
53s
Auto-install pinned Zig toolchain in setup + devcontainer (#30) CodeQL Security Analysis #108: Commit 7bfc86d pushed by hyperpolymath
5m 46s main
main
5m 46s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #107: Pull request #30 opened by hyperpolymath
5m 42s claude/new-session-1fphit
claude/new-session-1fphit
5m 42s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #106: Commit f048ddd pushed by hyperpolymath
2m 39s main
main
2m 39s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #105: Pull request #29 synchronize by hyperpolymath
1m 13s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 13s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #104: Pull request #29 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) (#28) CodeQL Security Analysis #103: Commit eb0dcfb pushed by hyperpolymath
1m 20s main
main
1m 20s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #102: Pull request #28 opened by hyperpolymath
1m 3s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 3s
chore(clade): backfill [status] lifecycle block (#26) CodeQL Security Analysis #101: Commit 44baec3 pushed by hyperpolymath
21h 8m 41s main
main
21h 8m 41s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #100: Pull request #26 synchronize by hyperpolymath
21h 9m 2s chore/clade-status-backfill
chore/clade-status-backfill
21h 9m 2s
chore(ci): add dormant push-email notification workflow (#27) CodeQL Security Analysis #99: Commit 9d19705 pushed by hyperpolymath
9m 5s main
main
9m 5s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #98: Pull request #27 synchronize by hyperpolymath
20h 32m 32s chore/push-email-notify
chore/push-email-notify
20h 32m 32s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #97: Pull request #27 opened by hyperpolymath
9m 5s chore/push-email-notify
chore/push-email-notify
9m 5s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #96: Pull request #26 opened by hyperpolymath
24m 59s chore/clade-status-backfill
chore/clade-status-backfill
24m 59s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #95: Commit abd6414 pushed by hyperpolymath
1h 22m 11s main
main
1h 22m 11s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #94: Pull request #25 opened by hyperpolymath
13h 34m 26s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
13h 34m 26s
chore(ci): bump standards reusable workflow pins (#24) CodeQL Security Analysis #93: Commit 29859da pushed by hyperpolymath
2h 17m 37s main
main
2h 17m 37s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #92: Pull request #24 opened by hyperpolymath
5h 10m 29s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
5h 10m 29s
chore(nix->guix): remove flake.nix (Guix-only) (#23) CodeQL Security Analysis #91: Commit cdead60 pushed by hyperpolymath
1h 4m 16s main
main
1h 4m 16s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #90: Pull request #23 opened by hyperpolymath
56m 13s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
56m 13s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #89: Commit 51f241d pushed by hyperpolymath
44m 33s main
main
44m 33s