actions/superlint
1
0
Fork 0
mirror of https://github.com/super-linter/super-linter.git synced 2024-11-25 10:10:56 -05:00
Code Issues Projects Releases Packages Wiki Activity

feat: remove mypy cache (#5210)

Browse source 
Remove MyPy cache after linting files so that users don't need to do as
root.
This commit is contained in:
Marco Ferrari 2024-02-05 10:59:27 +01:00 committed by GitHub
parent 92e9cb3c85
commit ef9449e2b0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
lib/linter.sh
View file

@ -771,6 +771,7 @@ cleanup() {
debug "Removing temporary files and directories" debug "Removing temporary files and directories"
rm -rfv \ rm -rfv \
"${GITHUB_WORKSPACE}/.mypy_cache" \
"${GITHUB_WORKSPACE}/logback.log" "${GITHUB_WORKSPACE}/logback.log"
if [ "${SUPER_LINTER_COPIED_R_LINTER_RULES_FILE}" == "true" ]; then if [ "${SUPER_LINTER_COPIED_R_LINTER_RULES_FILE}" == "true" ]; then