ci: Merge main into develop #62

Merged
linus merged 2 commits from main into develop 2026-10-18 14:58:16 +00:00
Collaborator

Merge main into develop so develop carries #61 and descends from main again. No content change beyond the merge.

Merge main into develop so develop carries #61 and descends from main again. No content change beyond the merge.
build: Check golangci-lint before make lint
All checks were successful
CI / vulncheck (pull_request) Successful in 24s
CI / check-and-test (pull_request) Successful in 58s
9a78edfaed
make lint ran whatever golangci-lint was on PATH while CI lints with
v2.14.0, so local and CI lint could disagree with no hint why.

Pin GOLANGCI_LINT_VERSION ?= v2.14.0 and add an env-gated golangci-lint
check to scripts/check-toolchain.sh that prints found, required and the
go install fix. lint, test and test-race now run it first (check-lint,
which skips GoReleaser), so a mismatch stops before go mod tidy. build
checks all three. check-go had no other users and is gone. CI runs the
script without the variable, so the golangci-lint action still decides
there.

Closes #57
Merge pull request 'build: Check golangci-lint before make lint' (#61) from ash/golangci-lint-preflight-57 into main
All checks were successful
CI / vulncheck (push) Successful in 26s
CI / vulncheck (pull_request) Successful in 22s
CI / check-and-test (push) Successful in 1m2s
CI / check-and-test (pull_request) Successful in 58s
Release Tag / release (push) Successful in 30s
a42b029896
linus merged commit 8b0f218513 into develop 2026-10-18 14:58:16 +00:00
Sign in to join this conversation.
No description provided.