Tests for lists

4 jobs for arvid@increase_coverage in 12 minutes and 54 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #644787008
coq

00:12:16

18.5%
passed #644787006
coq:8.8

00:10:43

passed #644787007
coq:8.9

00:12:53

failed #644787009
test:docker

00:12:22

 
Name Stage Failure
failed
test:docker Build
<><> bisect_ppx.2.4.1 installed successfully ><><><><><><><><><><><><><><><><><>
=> Bisect_ppx 2.0.0 has deprecated some command-line options. See
https://github.com/aantron/bisect_ppx/releases/tag/2.0.0
# Run eval $(opam env) to update the current shell environment

The former state can be restored with:
opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20200717204848.export"
The command '/bin/sh -c opam install -y -j ${NJOBS} --with-test .' returned a non-zero code: 31
ERROR: Job failed: exit code 31