ruff/scripts/mypy_primer.sh
2025-09-24 09:09:47 +02:00

39 lines
1.2 KiB
Bash
Executable file

#!/usr/bin/env bash
set -eu
echo "Enabling mypy primer specific configuration overloads (see .github/mypy-primer-ty.toml)"
mkdir -p ~/.config/ty
cp .github/mypy-primer-ty.toml ~/.config/ty/ty.toml
# Join the lines (project names) of the file into a large regex
# using `|` and escape parentheses.
PRIMER_SELECTOR="$(paste -s -d'|' "${PRIMER_SELECTOR}" | sed -e 's@(@\\(@g' -e 's@)@\\)@g')"
echo "new commit"
git rev-list --format=%s --max-count=1 "${GITHUB_SHA}"
MERGE_BASE="$(git merge-base "${GITHUB_SHA}" "origin/${GITHUB_BASE_REF}")"
git checkout -b base_commit "${MERGE_BASE}"
echo "base commit"
git rev-list --format=%s --max-count=1 base_commit
cd ..
echo "Project selector: ${PRIMER_SELECTOR}"
# Allow the exit code to be 0 or 1, only fail for actual mypy_primer crashes/bugs
uvx \
--from="git+https://github.com/hauntsaninja/mypy_primer@0d20fff78b67f11f4dcbeb3d9b1c645b7198db5e" \
mypy_primer \
--repo ruff \
--type-checker ty \
--old base_commit \
--new "${GITHUB_SHA}" \
--project-selector "/($PRIMER_SELECTOR)\$" \
--output concise \
--debug > "${DIFF_FILE}" || [ $? -eq 1 ]
# Output diff with ANSI color codes
cat "${DIFF_FILE}"
# Remove ANSI color codes before uploading
sed -ie 's/\x1b\[[0-9;]*m//g' "${DIFF_FILE}"