Fix a typo in the description of coq-mathcomp-algebra-tactics #2807
+2
−2
coqbot-app / GitLab CI job opam-build:5.0.0 (pull request)
failed
Oct 31, 2023 in 0s
Test has failed on GitLab CI
This job has failed. If you need to, you can restart it directly in the GitHub interface using the "Re-run" button.
We show below the last 40 lines of the trace from GitLab (the complete trace is available here).
Details
- install easy-format 1.3.4 [required by atd]
- install cppo 1.6.9 [required by ppx_deriving]
- install camlp-streams 5.0.1 [required by biniou]
- install coq-core 8.18.0 [required by coq]
- install ppxlib 0.31.0 [required by elpi]
- install menhir 20230608 [required by elpi]
- install yojson 2.1.1 [required by atdgen]
- install biniou 1.2.2 [required by atdgen]
- install coqide-server 8.18.0 [required by coq]
- install coq-stdlib 8.18.0 [required by coq]
- install ppx_deriving 5.2.1 [required by elpi]
- install atd 2.15.0 [required by atdgen, atdts]
- install atdgen-runtime 2.15.0 [required by atdgen]
- install coq 8.18.0 [required by coq-mathcomp-algebra-tactics]
- install atdts 2.15.0 [required by elpi]
- install atdgen 2.15.0 [required by elpi]
- install elpi 1.17.4 [required by coq-elpi]
- install coq-elpi 1.19.3 [required by coq-mathcomp-algebra-tactics]
- install coq-hierarchy-builder 1.6.0 [required by coq-mathcomp-ssreflect]
- install coq-mathcomp-ssreflect 2.1.0 [required by coq-mathcomp-algebra-tactics]
- install coq-mathcomp-fingroup 2.1.0 [required by coq-mathcomp-algebra]
- install coq-mathcomp-algebra 2.1.0 [required by coq-mathcomp-algebra-tactics]
- install coq-mathcomp-zify 1.5.0+2.0+8.16 [required by coq-mathcomp-algebra-tactics]
- install coq-mathcomp-algebra-tactics 1.2.2
===== 38 to install =====
Installing coq-mathcomp-algebra-tactics.1.2.2
[WARNING] Running as root is not recommended
Removing coq-mathcomp-algebra-tactics
[WARNING] Running as root is not recommended
Packages that failed to install: coq-mathcomp-algebra-tactics.dev
Packages that succeeded to install: coq-mathcomp-algebra-tactics.1.2.2
Uploading artifacts for failed job
Uploading artifacts...
log/: found 3 matching artifact files and directories
WARNING: Upload request redirected location=https://gitlab.com/api/v4/jobs/5427567561/artifacts?artifact_format=zip&artifact_type=archive&expire_in=1+week new-url=https://gitlab.com
WARNING: Retrying... context=artifacts-uploader error=request redirected
Uploading artifacts as "archive" to coordinator... 201 Created id=5427567561 responseStatus=201 Created token=64__uKL5
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1
Loading