sanity: please 80 columns

* spot/ltsmin/spins_kripke.hh,
spot/twacube/twacube.cc,
spot/twacube_algos/convert.cc: Here.
9 jobs for er/spot3 in 106 minutes and 8 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #92469
alpine-gcc

00:47:14

failed #92470
arch-clang

00:02:35

failed #92471
arch-gcc-glibcxxdebug

00:43:41

failed #92468
allowed to fail
debian-gcc-snapshot

00:06:52

failed #92466
debian-stable-gcc

00:12:22

failed #92467
debian-unstable-gcc-coverage

00:15:06

passed #92472
mingw-shared

00:10:50

passed #92473
mingw-static

00:08:07

failed #92474
armv7
raspbian

00:58:52

 
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=21418 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=92474 responseStatus=201 Created token=QD2wErXv
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]: *** [Makefile:1291: check-recursive] Error 1
make[1]: Leaving directory '/builds/spot/spot/spot-2.8.2.dev/_build/sub'
make: *** [Makefile:1512: distcheck] Error 1
Uploading artifacts...
./spot-*/_build/sub/tests/*/*.log: found 267 matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=92471 responseStatus=201 Created token=zhsNnnd_
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=92467 responseStatus=201 Created token=k4szz5Y-
ERROR: Job failed: exit code 1
failed
debian-stable-gcc Build
make: *** [Makefile:1212: all] Error 2
Running after_script
Uploading artifacts for failed job
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

WARNING: ./*.tar.gz: no matching files
Uploading artifacts to coordinator... ok
id=92466 responseStatus=201 Created token=HYkZHyhW
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=92468 responseStatus=201 Created token=9SzxiVk3
ERROR: Job failed: exit code 1
failed
arch-clang Build
make[2]: Leaving directory '/builds/spot/spot/buddy'
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=92470 responseStatus=201 Created token=snv3FoQf
ERROR: Job failed: exit code 1