emeryberger merged emeryberger/SnakeLean#25 · July 6, 2026 18:59 fix(ci): correct build target after SnakeLean rename #25 Main is red: the rename commit (a6e7811) renamed the lake library LeanToPython → SnakeLean but left the CI workflow's build-args: "LeanToPython", so … +1 -1