00:03:43
Feb 01, 2019
00:02:14
00:02:37
# upgrade-criteria -removed,-count[version-lag,solution],-new# jobs 20# repositories 2 (http), 1 (version-controlled) (default repo at c96fb78a)# pinned 0# current-switch ocaml-base-compiler.4.02.3[prepare-opam] Processing pins[prepare-opam] version-pinning coq to 8.6.1coq is now pinned to version 8.6.1ERROR: Job failed: exit code 1