Put a "How to read this tutorial" section upfront

17 jobs for !191 with tutorial in 30 minutes and 17 seconds (queued for 3 seconds)
latest merge request
Name Stage Failure
1.13.0-coq-8.14 Build
Using docker image sha256:b3d16e141e9c9904ea76bddeb211397a11e888901b4f23862e7418777f84ad23 for mathcomp/mathcomp:1.13.0-coq-8.14 with digest mathcomp/mathcomp@sha256:cab9533297f15d64b4fdcb0e0bb4f87dab8b64e917ae671b40c298a582ea0c36 ...
$ opam update -y

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from https://opam.ocaml.org
[ERROR] Could not update repository "coq-released": OpamDownload.Download_fail(_, "Curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.1.2 -L -o /tmp/opam-13-5f8500/index.tar.gz.part -- https://coq.inria.fr/opam/released/index.tar.gz\" exited with code 7")
Now run 'opam upgrade' to apply any package updates.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1