minimize_mealy_fast: correct inclusion + tests

9 jobs for ps/min_bench3 in 159 minutes and 11 seconds (queued for 8 seconds)
Status Job ID Name Coverage
  Build
failed #143698
alpine-gcc

00:56:57

failed #143699
arch-clang

00:08:08

failed #143700
arch-gcc-glibcxxdebug

00:11:35

failed #143697
allowed to fail
debian-gcc-snapshot

00:08:57

failed #143695
debian-stable-gcc

01:14:04

failed #143696
debian-unstable-gcc-coverage

00:35:30

failed #143701
mingw-shared

00:04:53

passed #143702
mingw-static

00:11:00

failed #143703
armv7
raspbian

00:08:09

 
Name Stage Failure
failed
alpine-gcc Build
make: *** [Makefile:1565: distcheck] Error 1
Uploading artifacts for failed job
Uploading artifacts...
WARNING: tests/*/*.log: no matching files
./*.log: found 1 matching files and directories

Uploading artifacts as "archive" to coordinator... ok
id=143698 responseStatus=201 Created token=5eoYX3y8
Cleaning up file based variables
ERROR: Failed to cleanup volumes
ERROR: Job failed: exit code 1
failed
mingw-shared Build
make: *** [Makefile:1264: all] Error 2
Uploading artifacts for failed job
Uploading artifacts...
WARNING: tests/*/*.log: no matching files
./*.log: found 1 matching files and directories

Uploading artifacts as "archive" to coordinator... ok
id=143701 responseStatus=201 Created token=wqzX99_r
Cleaning up file based variables
ERROR: Failed to cleanup volumes
ERROR: Job failed: exit code 1
failed
arch-gcc-glibcxxdebug Build
make: *** [Makefile:1264: all] Error 2
Uploading artifacts for failed job
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files and directories

Uploading artifacts as "archive" to coordinator... ok
id=143700 responseStatus=201 Created token=A3o88UCx
Cleaning up file based variables
ERROR: Failed to cleanup volumes
ERROR: Job failed: exit code 1
failed
arch-clang Build
make: *** [Makefile:1264: all] Error 2
Uploading artifacts for failed job
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files and directories

Uploading artifacts as "archive" to coordinator... ok
id=143699 responseStatus=201 Created token=StX3yC-C
Cleaning up file based variables
ERROR: Failed to cleanup volumes
ERROR: Job failed: exit code 1
failed
debian-unstable-gcc-coverage Build
doc/spot.html/: found 2990 matching files and directories 
doc/userdoc/: found 199 matching files and directories

WARNING: coverage/: no matching files
WARNING: ./*.tar.gz: no matching files
WARNING: spot2.info: no matching files
Uploading artifacts as "archive" to coordinator... ok
id=143696 responseStatus=201 Created token=yyo97Hxg
Cleaning up file based variables
ERROR: Failed to cleanup volumes
ERROR: Job failed: exit code 1
failed
debian-gcc-snapshot Build
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files 
./*.log: found 1 matching files and directories

WARNING: doc/spot.html/: no matching files
WARNING: doc/userdoc/: no matching files
WARNING: ./*.tar.gz: no matching files
Uploading artifacts as "archive" to coordinator... ok
id=143697 responseStatus=201 Created token=-sAm1Kst
Cleaning up file based variables
ERROR: Failed to cleanup volumes
ERROR: Job failed: exit code 1
failed
debian-stable-gcc Build
Uploading artifacts for failed job
Uploading artifacts...
./spot-*/_build/sub/tests/*/*.log: found 283 matching files and directories

./*.log: found 1 matching files and directories

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

Uploading artifacts as "archive" to coordinator... ok
id=143695 responseStatus=201 Created token=LmH742aV
Cleaning up file based variables
ERROR: Failed to cleanup volumes
ERROR: Job failed: exit code 1
failed
raspbian Build
Running after_script
Uploading artifacts for failed job
Uploading artifacts...
Runtime platform
arch=arm os=linux pid=6293 revision=21cb397c version=13.0.1
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=143703 responseStatus=201 Created token=BrFwwnu6
ERROR: Job failed: exit status 1