4 Commits

Author SHA1 Message Date
MarcoFalke
faba426b3b
lint: Flatten lint image entry points 2026-01-28 15:22:18 +01:00
MarcoFalke
1111fff91c
lint: Add missing --platform=linux to docker build command
Otherwise, this may pick the wrong arch like s390x, if a such a podman
container was most recently used.

See also the CI_IMAGE_PLATFORM setting in the "other" CI, which does the
same.
2026-01-28 15:20:27 +01:00
ci
c8abac9941
ci: mount .git dir rw
On merges to master we set LINT_CI_SANITY_CHECK_COMMIT_SIG (when
"GITHUB_REPOSITORY == bitcoin/bitcoin") which runs verify-commits.py.

This requires write access to the .git directory.
Make the mounted .git directory writable.

This is currently not run on PR branches or locally which caused a miss
during review.
2026-01-28 13:41:52 +00:00
will
c17a2adb8d
lint: upgrade lint scripts for worktrees
Add a ci/lint.py script to run the linter both locally or inside the CI
(replacing .github/ci-lint-exec.py) which supports running from a
worktree.

Determines whether we are in a worktree, and mounts the real `.git`
directory as a read-only volume if we are.
2026-01-27 12:18:29 +00:00