archive repository

1 job for master in 1 minute and 12 seconds (queued for 7 minutes and 2 seconds)
Status Job ID Name Coverage
  Build
failed #22386
fp
build-coq.8.8.2

00:01:12

 
Name Stage Failure
failed
build-coq.8.8.2 Build
Done.
# Run eval $(opam env) to update the current shell environment

Already up-to-date.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
[prepare-opam] Done! Coq version we are going to use:
ci/prepare-opam.sh: line 104: coqc: command not found
ERROR: Job failed: exit code 1