Bugfixes in batch.py

2 jobs for rohlfing-improve-batch in 1 minute and 37 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
failed test #1631937

00:01:37

failed test-coverage #1631938

00:01:05

 
Name Stage Failure
failed
test Test
Traceback (most recent call last):
File "batch.py", line 117, in <module>
main(sys.argv[1:])
File "batch.py", line 59, in main
supinfolder = args.supinfolder
AttributeError: 'Namespace' object has no attribute 'supinfolder'
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
test-coverage Test
Authenticating with credentials from job payload (GitLab Registry)
python3: can't open file 'sh': [Errno 2] No such file or directory
Running after_script
python3: can't open file 'sh': [Errno 2] No such file or directory
Uploading artifacts for failed job
Uploading artifacts...
WARNING: coverage.xml: no matching files
ERROR: No files to upload
ERROR: Job failed: exit code 2