Run all linting in Docker via the Dockerfile lint stage (closes #90)

script/lint now builds only the lint stage of the main Dockerfile (docker build --no-cache --target lint), whose build runs the linter, so a successful build is a clean lint. It is uncached because a cached build runs no linter, and a trap removes the image it tagged; the tag carries the process ID so concurrent runs do not collide. The lint stage calls golangci-lint directly, since make lint now needs Docker. Nothing installs or runs golangci-lint on the host any more: bootstrap and the Makefile drop the install, and script/fmt drops golangci-lint run --fix. Model: opus-5-5
2026-10-04 09:31:54 +02:00
parent b91e92b070
commit 45eac1f6f8
6 changed files with 27 additions and 30 deletions
@@ -58,9 +58,6 @@ fmt-check-md:
 hooks:
 	@script/install-precommit

-devprereqs:
-	which golangci-lint || go install -v github.com/golangci/golangci-lint/v2/cmd/golangci-lint@v2.12.2
-
 mfer/mf.pb.go: mfer/mf.proto
 	cd mfer && go generate .