mc: correct SPOT_API

* spot/mc/mc.hh: Here.
9 jobs for er/spot3 in 111 minutes and 54 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
failed #92459
alpine-gcc

00:30:32

failed #92460
arch-clang

00:06:09

failed #92461
arch-gcc-glibcxxdebug

00:52:49

failed #92458
allowed to fail
debian-gcc-snapshot

00:06:34

failed #92456
debian-stable-gcc

00:26:53

failed #92457
debian-unstable-gcc-coverage

00:13:33

passed #92462
mingw-shared

00:10:46

passed #92463
mingw-static

00:10:12

failed #92464
armv7
raspbian

00:59:02

 
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=14705 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=92464 responseStatus=201 Created token=Uicc6T65
ERROR: Job failed: exit status 1
failed
arch-gcc-glibcxxdebug Build
make[1]: *** [Makefile:1291: check-recursive] Error 1
make: *** [Makefile:1512: distcheck] Error 1
Running after_script
Uploading artifacts for failed job
Uploading artifacts...
./spot-*/_build/sub/tests/*/*.log: found 267 matching files

./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=92461 responseStatus=201 Created token=excQJsyy
ERROR: Job failed: exit code 1
failed
alpine-gcc Build
make[1]: Leaving directory '/builds/spot/spot/tests'
make: *** [Makefile:1292: check-recursive] Error 1
Running after_script
Uploading artifacts for failed job
Uploading artifacts...
tests/*/*.log: found 267 matching files

./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=92459 responseStatus=201 Created token=g7oXx7FZ
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=92456 responseStatus=201 Created token=PvbCXU-1
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=92457 responseStatus=201 Created token=6H1VpZVb
ERROR: Job failed: exit code 1
failed
debian-gcc-snapshot Build
make: *** [Makefile:1212: all] Error 2
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=92458 responseStatus=201 Created token=kE4pyzHa
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=92460 responseStatus=201 Created token=QBiyEBhW
ERROR: Job failed: exit code 1