Skip to content

Actions: hyperpolymath/phronesis

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
278 workflow runs
278 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
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … CodeQL Security Analysis #178: Commit 2687629 pushed by hyperpolymath
1h 17m 55s main
main
1h 17m 55s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #177: Pull request #66 opened by hyperpolymath
13h 25m 22s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
13h 25m 22s
chore(ci): bump standards reusable workflow pins (#65) CodeQL Security Analysis #176: Commit a3a3952 pushed by hyperpolymath
2h 21m 34s main
main
2h 21m 34s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #175: Pull request #65 opened by hyperpolymath
5h 8m 6s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
5h 8m 6s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #174: Commit e337ce1 pushed by hyperpolymath
18m 22s main
main
18m 22s
fix(abi/idris): make Types.idr typecheck total — sound decidable type… CodeQL Security Analysis #173: Commit c8a8560 pushed by hyperpolymath
57s main
main
57s
fix(abi/idris): make Types.idr typecheck total — sound decidable type… CodeQL Security Analysis #172: Pull request #62 synchronize by hyperpolymath
56s fix/idris-abi-deceq-total
fix/idris-abi-deceq-total
56s
ci(lean): add Lean proof gate (lake build) guarding the metatheory (#61) CodeQL Security Analysis #171: Commit e4278c9 pushed by hyperpolymath
34s main
main
34s
ci(lean): add Lean proof gate (lake build) guarding the metatheory CodeQL Security Analysis #170: Pull request #61 synchronize by hyperpolymath
1m 2s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
1m 2s
ci(lean): add Lean proof gate (lake build) guarding the metatheory CodeQL Security Analysis #169: Pull request #61 opened by hyperpolymath
38s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
38s
fix(compiler/phronesis-ast): move stranded #![forbid(unsafe_code)] to… CodeQL Security Analysis #168: Commit f6a4497 pushed by hyperpolymath
43s main
main
43s
fix(compiler/phronesis-ast): move stranded #![forbid(unsafe_code)] to… CodeQL Security Analysis #167: Pull request #63 synchronize by hyperpolymath
1m 15s fix/phronesis-ast-forbid-attr
fix/phronesis-ast-forbid-attr
1m 15s
fix(abi/idris): make Types.idr typecheck total — sound decidable type… CodeQL Security Analysis #166: Pull request #62 opened by hyperpolymath
42s fix/idris-abi-deceq-total
fix/idris-abi-deceq-total
42s
fix(compiler/phronesis-ast): move stranded #![forbid(unsafe_code)] to… CodeQL Security Analysis #165: Pull request #63 opened by hyperpolymath
47s fix/phronesis-ast-forbid-attr
fix/phronesis-ast-forbid-attr
47s
licensing: dual SPDX header (MPL-2.0 + CC-BY-SA-4.0) as the standard … CodeQL Security Analysis #164: Commit 1e156f9 pushed by hyperpolymath
42s main
main
42s
licensing: dual SPDX header (MPL-2.0 + CC-BY-SA-4.0) as the standard CodeQL Security Analysis #163: Pull request #58 synchronize by hyperpolymath
48s claude/confident-albattani-okm8i5
claude/confident-albattani-okm8i5
48s
licensing: dual SPDX header (MPL-2.0 + CC-BY-SA-4.0) as the standard CodeQL Security Analysis #162: Pull request #58 opened by hyperpolymath
45s claude/confident-albattani-okm8i5
claude/confident-albattani-okm8i5
45s
Update issue templates CodeQL Security Analysis #161: Commit 54253c8 pushed by hyperpolymath
35s main
main
35s
Delete Mustfile CodeQL Security Analysis #160: Commit 456606d pushed by hyperpolymath
42s main
main
42s
Update README.adoc CodeQL Security Analysis #159: Commit 221c5e5 pushed by hyperpolymath
42s main
main
42s
docs: declare MPL-2.0 + CC-BY-SA-4.0 standard licence; de-drift CLAUD… CodeQL Security Analysis #158: Commit 94d72c1 pushed by hyperpolymath
37s main
main
37s
docs: declare MPL-2.0 + CC-BY-SA-4.0 standard licence; de-drift CLAUDE.md CodeQL Security Analysis #157: Pull request #56 opened by hyperpolymath
42s claude/confident-albattani-okm8i5
claude/confident-albattani-okm8i5
42s
docs: refresh README/EXPLAINME, RSR + bot-doc compliance, clean root … CodeQL Security Analysis #156: Commit 3ad0d72 pushed by hyperpolymath
41s main
main
41s
docs: refresh README/EXPLAINME, RSR + bot-doc compliance, clean root CodeQL Security Analysis #155: Pull request #55 opened by hyperpolymath
36s claude/confident-albattani-okm8i5
claude/confident-albattani-okm8i5
36s
ci: extract scorecard run steps into composite actions (#54) CodeQL Security Analysis #154: Commit e639338 pushed by hyperpolymath
39s main
main
39s