Start of modelling oak_any

3 jobs for model-any in 5 minutes and 58 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
failed #79198
au
coq:8.8

00:02:23

failed #79199
au
coq:8.9

00:02:23

failed #79200
au
coq:dev

00:03:34

 
Name Stage Failure
failed
coq:dev Build

make[2]: *** [src/Oak.vo] Error 1
CoqMakefile:654: recipe for target 'src/Oak.vo' failed
CoqMakefile:319: recipe for target 'all' failed
make[1]: *** [all] Error 2
make[1]: Leaving directory '/builds/jakobbotsch/smart-contracts'
Makefile:7: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Job failed: exit code 1
failed
coq:8.9 Build

make[2]: *** [src/Oak.vo] Error 1
CoqMakefile:662: recipe for target 'src/Oak.vo' failed
CoqMakefile:326: recipe for target 'all' failed
make[1]: Leaving directory '/builds/jakobbotsch/smart-contracts'
make[1]: *** [all] Error 2
make: *** [all] Error 2
Makefile:7: recipe for target 'all' failed
ERROR: Job failed: exit code 1
failed
coq:8.8 Build

CoqMakefile:656: recipe for target 'src/Oak.vo' failed
make[2]: *** [src/Oak.vo] Error 1
make[1]: *** [all] Error 2
CoqMakefile:317: recipe for target 'all' failed
make[1]: Leaving directory '/builds/jakobbotsch/smart-contracts'
Makefile:7: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Job failed: exit code 1