Skip to content

Actions: hyperpolymath/ephapax

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
862 workflow runs
862 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
feat(syntax): regions_introduced_by helper — Phase 3b scaffolding (#225) CodeQL Security Analysis #612: Pull request #230 opened by hyperpolymath
51s phase-d-slice-4-phase-3b-tfuneff-subst-2026-05-30
phase-d-slice-4-phase-3b-tfuneff-subst-2026-05-30
51s
feat(L2): Phase D slice 4 Phase 4a — `preservation_l2_app_eff_beta_li… CodeQL Security Analysis #611: Commit 43ab705 pushed by hyperpolymath
54s main
main
54s
feat(L2): Phase D slice 4 Phase 4a — preservation_l2_app_eff_beta_linear + hotfix duplicate tfuneff_lambda_retype_l1_m CodeQL Security Analysis #610: Pull request #228 opened by hyperpolymath
1m 14s proof-debt/phase-d-slice-4-phase-4a-beta-linear
proof-debt/phase-d-slice-4-phase-4a-beta-linear
1m 14s
fix(L1): HOTFIX — dedupe tfuneff_lambda_retype_l1_m (main is broken) … CodeQL Security Analysis #609: Commit 178f978 pushed by hyperpolymath
1m 6s main
main
1m 6s
fix(L1): HOTFIX — dedupe tfuneff_lambda_retype_l1_m (main is broken) CodeQL Security Analysis #608: Pull request #226 opened by hyperpolymath
59s phase-d-slice-4-subst-doc-r-extension-2026-05-30
phase-d-slice-4-subst-doc-r-extension-2026-05-30
59s
feat(L1): Phase D slice 4 Phase 3a — tfuneff_lambda_retype_l1_m + `… CodeQL Security Analysis #607: Commit 45469e8 pushed by hyperpolymath
54s main
main
54s
feat(L1): Phase D slice 4 Phase 3a — tfuneff_lambda_retype_l1_m + is_tfuneff_ty CodeQL Security Analysis #606: Pull request #224 opened by hyperpolymath
56s proof-debt/standards-134-phase-d-slice-4-phase-3-tfuneff-lambda-retype
proof-debt/standards-134-phase-d-slice-4-phase-3-tfuneff-lambda-retype
56s
feat(L1): Phase D slice 4 Phase 3a — tfuneff_lambda_retype_l1_m (#223) CodeQL Security Analysis #605: Commit 5bb4ca6 pushed by hyperpolymath
1m 8s main
main
1m 8s
feat(L1): Phase D slice 4 Phase 3a — tfuneff_lambda_retype_l1_m CodeQL Security Analysis #604: Pull request #223 opened by hyperpolymath
57s phase-d-slice-4-phase-3a-tfuneff-retype-2026-05-30
phase-d-slice-4-phase-3a-tfuneff-retype-2026-05-30
57s
feat(L1): Phase D slice 4 Phase 2 — `subst_typing_gen_l1_m_ground_non… CodeQL Security Analysis #603: Commit 8200ed7 pushed by hyperpolymath
1m 0s main
main
1m 0s
feat(L1): Phase D slice 4 Phase 2 — subst_typing_gen_l1_m_ground_nonlinear + helpers CodeQL Security Analysis #602: Pull request #220 opened by hyperpolymath
58s proof-debt/standards-134-phase-d-slice-4-phase-2-subst-gen-ground-nonlinear
proof-debt/standards-134-phase-d-slice-4-phase-2-subst-gen-ground-nonlinear
58s
feat(L1): Phase D slice 4 Phase 1 — ground_nonlinear_retype_l1_m fo… CodeQL Security Analysis #601: Commit e3d8651 pushed by hyperpolymath
1m 6s main
main
1m 6s
feat(L1): Phase D slice 4 Phase 1 — ground_nonlinear_retype_l1_m for TBase TUnit/TBool/TI32 CodeQL Security Analysis #600: Pull request #219 synchronize by hyperpolymath
54s proof-debt/standards-134-phase-d-slice-4-phase-1-ground-nonlinear-retype
proof-debt/standards-134-phase-d-slice-4-phase-1-ground-nonlinear-retype
54s
state: shift next_action to Phase 1 (ground_nonlinear_retype_l1_m) (#… CodeQL Security Analysis #599: Commit d93151b pushed by hyperpolymath
58s main
main
58s
state: shift next_action to Phase 1 (ground_nonlinear_retype_l1_m) CodeQL Security Analysis #598: Pull request #214 opened by hyperpolymath
1m 10s phase-d-slice-4-state-shift-to-phase1-ground-nonlinear-retype-2026-05-28
phase-d-slice-4-state-shift-to-phase1-ground-nonlinear-retype-2026-05-28
1m 10s
docs: SUBST-LEMMA-GENERALIZATION-DESIGN — Phase D slice 4 plan (#213) CodeQL Security Analysis #597: Commit 9e5d49d pushed by hyperpolymath
1m 21s main
main
1m 21s
docs: SUBST-LEMMA-GENERALIZATION-DESIGN — Phase D slice 4 plan CodeQL Security Analysis #596: Pull request #213 opened by hyperpolymath
1m 13s phase-d-slice-4-subst-lemma-design-doc-2026-05-28
phase-d-slice-4-subst-lemma-design-doc-2026-05-28
1m 13s
state: shift next_action to subst_typing_gen_l1_m generalisation — Ph… CodeQL Security Analysis #595: Commit 3380c14 pushed by hyperpolymath
1m 20s main
main
1m 20s
state: shift next_action to subst_typing_gen_l1_m generalisation — Phase D slice 4 next sub-slice CodeQL Security Analysis #594: Pull request #212 opened by hyperpolymath
1m 2s phase-d-slice-4-state-shift-to-subst-lemma-generality-2026-05-28
phase-d-slice-4-state-shift-to-subst-lemma-generality-2026-05-28
1m 2s
feat(L2): preservation_l2_via_l1 — Phase D slice 4 partial landing (#… CodeQL Security Analysis #593: Commit 87dcab4 pushed by hyperpolymath
1m 4s main
main
1m 4s
feat(L2): preservation_l2_via_l1 — Phase D slice 4 partial landing CodeQL Security Analysis #592: Pull request #211 opened by hyperpolymath
1m 10s phase-d-slice-4-preservation-l2-via-l1-2026-05-28
phase-d-slice-4-preservation-l2-via-l1-2026-05-28
1m 10s
state: shift next_action to preservation_l2 — slice 3 closed (#210) CodeQL Security Analysis #591: Commit 5763648 pushed by hyperpolymath
1m 4s main
main
1m 4s
state: shift next_action to preservation_l2 — slice 3 closed CodeQL Security Analysis #590: Pull request #210 opened by hyperpolymath
58s phase-d-slice-3-state-shift-to-preservation-l2-2026-05-28
phase-d-slice-3-state-shift-to-preservation-l2-2026-05-28
58s
feat(L2): T_App_L2_Eff — Phase D slice 3 option 5a code lands (#209) CodeQL Security Analysis #589: Commit 49fb46a pushed by hyperpolymath
1m 7s main
main
1m 7s
feat(L2): T_App_L2_Eff — Phase D slice 3 option 5a code lands CodeQL Security Analysis #588: Pull request #209 opened by hyperpolymath
1m 22s phase-d-slice-3-t-app-l2-eff-2026-05-28
phase-d-slice-3-t-app-l2-eff-2026-05-28
1m 22s
ProTip! You can narrow down the results and go further in time using created:<2026-05-28 or the other filters available.