modelcheck: more relevant information for --csv

* tests/ltsmin/check.test,
tests/ltsmin/modelcheck.cc: Here.
9 jobs for er/spot3 in 97 minutes and 43 seconds (queued for 32 seconds)
Status Job ID Name Coverage
  Build
failed #92435
alpine-gcc

00:23:43

failed #92436
arch-clang

00:02:50

failed #92437
arch-gcc-glibcxxdebug

00:35:45

failed #92434
allowed to fail
debian-gcc-snapshot

00:07:18

failed #92432
debian-stable-gcc

00:28:09

failed #92433
debian-unstable-gcc-coverage

00:13:59

passed #92438
mingw-shared

00:09:06

passed #92439
mingw-static

00:08:52

failed #92440
armv7
raspbian

00:57:29

 
Name Stage Failure
failed
raspbian Build
make[1]: Leaving directory '/mnt/data/gitlab-runner/builds/o5DHHxgA/0/spot/spot/spot-2.8.2.dev/_build/sub'
make: *** [Makefile:1509: distcheck] Error 1
Uploading artifacts...
Runtime platform arch=arm os=linux pid=7992 revision=a987417a version=12.2.0
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

./*.tar.gz: found 1 matching files

Uploading artifacts to coordinator... ok
id=92440 responseStatus=201 Created token=qK645KgL
ERROR: Job failed: exit status 1
failed
arch-gcc-glibcxxdebug Build
make[2]: Leaving directory '/builds/spot/spot/spot-2.8.2.dev/_build/sub/tests'
make[1]: Leaving directory '/builds/spot/spot/spot-2.8.2.dev/_build/sub'
make[1]: *** [Makefile:1291: check-recursive] Error 1
make: *** [Makefile:1512: distcheck] Error 1
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=92437 responseStatus=201 Created token=xncbkbc7
ERROR: Job failed: exit code 1
failed
debian-stable-gcc Build
make[1]: *** [Makefile:1292: check-recursive] Error 1
make[1]: Leaving directory '/builds/spot/spot/spot-2.8.2.dev/_build/sub'
make: *** [Makefile:1509: distcheck] Error 1
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

./*.tar.gz: found 1 matching files

Uploading artifacts to coordinator... ok
id=92432 responseStatus=201 Created token=j-4wGiRm
ERROR: Job failed: exit code 1
failed
alpine-gcc Build
make[1]: *** [Makefile:4708: check-am] Error 2
make: *** [Makefile:1292: check-recursive] Error 1
Running after_script
Uploading artifacts for failed job
Uploading artifacts...
WARNING: tests/*/*.log: no matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=92435 responseStatus=201 Created token=fj8oy-V8
ERROR: Job failed: exit code 1
failed
debian-unstable-gcc-coverage Build
WARNING: tests/*/*.log: no matching files          
./*.log: found 1 matching files

doc/spot.html/: found 2912 matching files

doc/userdoc/: found 197 matching files

WARNING: coverage/: no matching files
WARNING: ./*.tar.gz: no matching files
WARNING: spot2.info: no matching files
Uploading artifacts to coordinator... ok
id=92433 responseStatus=201 Created token=qd4aojz2
ERROR: Job failed: exit code 1
failed
debian-gcc-snapshot Build
Uploading artifacts for failed job
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

WARNING: doc/spot.html/: no matching files
WARNING: doc/userdoc/: no matching files
WARNING: ./*.tar.gz: no matching files
Uploading artifacts to coordinator... ok
id=92434 responseStatus=201 Created token=C5T-sYFi
ERROR: Job failed: exit code 1
failed
arch-clang Build
make[2]: *** [Makefile:347: all] Error 2
make[1]: *** [Makefile:1291: all-recursive] Error 1
make[1]: Leaving directory '/builds/spot/spot'
make: *** [Makefile:1211: all] Error 2
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=92436 responseStatus=201 Created token=BAyRi57j
ERROR: Job failed: exit code 1