Update the coverage library (and pytest-cov, too) to fix
FileNotFoundError: [Errno 2] No such file or directory: '/[...]/.coverage.jerrys-mbp.lan.68589.696537-journal' and
CoverageWarning: Couldn't use data file '/[...]/.coverage.jerrys-mbp.lan.68587.663756-journal': file is not a database.
.gitignore the .coverage* output files that coverage now writes.
Analysis classes and shell.py: Close files to fix lots of ResourceWarnings.
Update the Pillow library to fix a "High severity" vulnerability although we don't use it in a risky way.
(My procedure for updating the pip requirements is to edit runscripts/jenkins/setup-environment.sh to make the PR build use pyenv wcEcoli3-staging, update that pyenv, then before merging to master, update pyenv wcEcoli3 and revert runscripts/jenkins/setup-environment.sh.)
coveragelibrary (andpytest-cov, too) to fixFileNotFoundError: [Errno 2] No such file or directory: '/[...]/.coverage.jerrys-mbp.lan.68589.696537-journal'andCoverageWarning: Couldn't use data file '/[...]/.coverage.jerrys-mbp.lan.68587.663756-journal': file is not a database..gitignorethe.coverage*output files thatcoveragenow writes.shell.py: Close files to fix lots of ResourceWarnings.(My procedure for updating the pip requirements is to edit
runscripts/jenkins/setup-environment.shto make the PR build use pyenvwcEcoli3-staging, update that pyenv, then before merging to master, update pyenvwcEcoli3and revertrunscripts/jenkins/setup-environment.sh.)