Skip to content

Actions: hyperpolymath/ephapax

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
871 workflow runs
871 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
Pr 125 CodeQL Security Analysis #446: Pull request #127 synchronize by hyperpolymath
1m 23s pr-125
pr-125
1m 23s
Pr 125 CodeQL Security Analysis #445: Pull request #127 opened by hyperpolymath
8s pr-125
pr-125
8s
Claude/adoring gates e57 wg (#125) CodeQL Security Analysis #444: Commit ed663ab pushed by hyperpolymath
1m 8s main
main
1m 8s
Claude/adoring gates e57 wg CodeQL Security Analysis #443: Pull request #125 synchronize by hyperpolymath
1m 21s claude/adoring-gates-E57WG
claude/adoring-gates-E57WG
1m 21s
Phase 1 scaffold for Lemma B (step_output_context_eq) (#124) CodeQL Security Analysis #442: Commit 74fe03a pushed by hyperpolymath
4m 22s main
main
4m 22s
Phase 1 scaffold for Lemma B (step_output_context_eq) CodeQL Security Analysis #441: Pull request #124 opened by hyperpolymath
1m 33s claude/funny-shannon-2aHYf
claude/funny-shannon-2aHYf
1m 33s
feat(cli): Phase D — compile-eph / compile-affine aliases (closes #36… CodeQL Security Analysis #440: Commit 8617b04 pushed by hyperpolymath
7h 21m 18s main
main
7h 21m 18s
feat(cli): Phase D — compile-eph / compile-affine aliases (closes #36) CodeQL Security Analysis #439: Pull request #123 synchronize by hyperpolymath
7h 20m 41s salvage/phase-d-compile-aliases
salvage/phase-d-compile-aliases
7h 20m 41s
feat(cli): Phase D — compile-eph / compile-affine aliases (closes #36) CodeQL Security Analysis #438: Pull request #123 opened by hyperpolymath
6s salvage/phase-d-compile-aliases
salvage/phase-d-compile-aliases
6s
docs: refresh stale "22 open" → "12 open" + CHANGELOG closure entry (… CodeQL Security Analysis #437: Commit 0dfda03 pushed by hyperpolymath
16h 44m 3s main
main
16h 44m 3s
docs: refresh stale "22 open" → "12 open" + CHANGELOG closure entry CodeQL Security Analysis #436: Pull request #122 opened by hyperpolymath
16h 44m 37s proof-debt/ephapax-docs-12-goals
proof-debt/ephapax-docs-12-goals
16h 44m 37s
proof(coq): Phase 1 scaffold — Lemma B step_output_context_eq stated … CodeQL Security Analysis #435: Commit 667821e pushed by hyperpolymath
28m 21s main
main
28m 21s
proof(coq): Phase 1 scaffold — Lemma B step_output_context_eq stated CodeQL Security Analysis #434: Pull request #121 opened by hyperpolymath
17h 5m 41s proof-debt/ephapax-preservation-phase1-lemmaB
proof-debt/ephapax-preservation-phase1-lemmaB
17h 5m 41s
docs: canonicalise the preservation closure plan in ROADMAP (#117) CodeQL Security Analysis #433: Commit 87fc39b pushed by hyperpolymath
28m 48s main
main
28m 48s
docs: canonicalise the preservation closure plan in ROADMAP CodeQL Security Analysis #432: Pull request #117 opened by hyperpolymath
17h 32m 47s proof-debt/ephapax-preservation-closure-plan
proof-debt/ephapax-preservation-closure-plan
17h 32m 47s
proof(coq): close 10 of 22 preservation goals via per-case manual pro… CodeQL Security Analysis #431: Commit b38c24f pushed by hyperpolymath
9m 7s main
main
9m 7s
proof(coq): close 10 of 22 preservation goals via per-case manual proofs CodeQL Security Analysis #430: Pull request #116 opened by hyperpolymath
17h 39m 15s proof-debt/ephapax-preservation-percase
proof-debt/ephapax-preservation-percase
17h 39m 15s
docs: correct Idris2 region-linearity theorem names (#115) CodeQL Security Analysis #429: Commit 31c48ca pushed by hyperpolymath
6h 16m 36s main
main
6h 16m 36s
docs: correct Idris2 region-linearity theorem names CodeQL Security Analysis #428: Pull request #115 opened by hyperpolymath
23h 14m 22s proof-debt/ephapax-idris2-name-fix
proof-debt/ephapax-idris2-name-fix
23h 14m 22s
feat(v2): add hello world grammar v2 example (#112) CodeQL Security Analysis #427: Commit e3b4883 pushed by hyperpolymath
4m 8s main
main
4m 8s
feat(v2): add hello world grammar v2 example CodeQL Security Analysis #426: Pull request #112 synchronize by hyperpolymath
23h 12m 56s feat/v2-grammar-hello-example
feat/v2-grammar-hello-example
23h 12m 56s
proof(coq): add step_R_eq_or_touches_region region-invariance lemma (… CodeQL Security Analysis #425: Commit 19f37e8 pushed by hyperpolymath
23m 33s main
main
23m 33s
proof(coq): add step_R_eq_or_touches_region region-invariance lemma CodeQL Security Analysis #424: Pull request #114 opened by hyperpolymath
23h 10m 24s proof-debt/ephapax-preservation-lemmas
proof-debt/ephapax-preservation-lemmas
23h 10m 24s
docs: rewrite README + ROADMAP + EXPLAINME for outside readers (#113) CodeQL Security Analysis #423: Commit 16b98db pushed by hyperpolymath
43m 32s main
main
43m 32s
docs: rewrite README + ROADMAP + EXPLAINME for outside readers CodeQL Security Analysis #422: Pull request #113 opened by hyperpolymath
23h 52m 45s proof-debt/ephapax-docs-overhaul
proof-debt/ephapax-docs-overhaul
23h 52m 45s
ProTip! You can narrow down the results and go further in time using created:<2026-05-20 or the other filters available.