also test Coq 8.6.1

3 jobs for master in 20 minutes and 28 seconds (queued for 37 minutes and 30 seconds)
Status Job ID Name Coverage
  Build
failed #23181
fp
build-coq.8.6.1

00:10:55

passed #23180
fp
build-coq.8.7.2

00:11:40

passed #23179
fp
build-coq.8.8.2

00:12:24

 
Name Stage Failure
failed
build-coq.8.6.1 Build
make[1]: *** [solutions/ex_03_spinlock.vo] Error 1
make[1]: Target 'all' not remade because of errors.
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 0m3.074s
user 0m11.620s
sys 0m6.644s
ERROR: Job failed: exit code 1