Merge branch 'main' into record-output

2026-09-14 22:44:46 +02:00
parent b223fcd717 5d981a7304
commit 0fe7f5bb43
4 changed files with 50 additions and 5 deletions
@@ -587,8 +587,10 @@ docker compose run --rm --user "$(id -u):$(id -g)" tidy  # go mod tidy
 ```

 Every pull request runs `docker build .` against both the latest and the lowest
-supported Go, and must pass before it can be merged. That build is the whole
-gate — vet, complexity, format check and tests — so run it locally before pushing:
+supported Go, and must pass before it can be merged — unless it changes none of
+the files the build and its tests read, nor the workflow itself, in which case
+it's skipped (see [Decisions](#decisions)). That build is the whole gate — vet,
+complexity, format check and tests — so run it locally before pushing:

 ```sh
 docker build .                                  # latest