fix: create mypy cache directory (#5240)

MyPy expects the cache directory to be there. We now remove it after
each super-linter run to avoid leftovers, so we need to create it before
running MyPy.

See https://github.com/python/mypy/issues/10768
and https://github.com/python/mypy/issues/10863
This commit is contained in:
Marco Ferrari 2024-02-06 15:53:30 +01:00 committed by GitHub
parent 1bd6c0d35d
commit 38edbe557a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -314,6 +314,13 @@ function RunAdditionalInstalls() {
fi fi
fi fi
if [ "${VALIDATE_PYTHON_MYPY}" == "true" ] && [ -e "${FILE_ARRAYS_DIRECTORY_PATH}/file-array-PYTHON_MYPY" ]; then
local MYPY_CACHE_DIRECTORY_PATH
MYPY_CACHE_DIRECTORY_PATH="${GITHUB_WORKSPACE}/.mypy_cache"
debug "Create MyPy cache directory: ${MYPY_CACHE_DIRECTORY_PATH}"
mkdir -v "${MYPY_CACHE_DIRECTORY_PATH}"
fi
############################### ###############################
# Run installs for R language # # Run installs for R language #
############################### ###############################