coq-simple-io.dev : remove dune upper bound #3011
Draft
coqbot-app / GitLab CI job opam-build:4.14.0 (pull request)
failed
Apr 8, 2024 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
===== 12 to install =====
Installing coq-simple-io.dev
[WARNING] Running as root is not recommended
[ERROR] The compilation of coqide-server.dev failed at "dune subst".
#=== ERROR while compiling coqide-server.dev ==================================#
# context 2.1.2 | linux/x86_64 | ocaml-base-compiler.4.14.0 | file:///builds/coq/opam/core-dev
# path ~/opam-root-4.14.0-2.1.2-sandbox/4.14.0/.opam-switch/build/coqide-server.dev
# command ~/opam-root-4.14.0-2.1.2-sandbox/opam-init/hooks/sandbox.sh build dune subst
# exit-code 1
# env-file ~/opam-root-4.14.0-2.1.2-sandbox/log/coqide-server-5526-29e348.env
# output-file ~/opam-root-4.14.0-2.1.2-sandbox/log/coqide-server-5526-29e348.out
### output ###
# /usr/bin/git ls-tree -z -r --name-only HEAD > /opam-tmp/dune_2db1cf_output
# error: unable to normalize alternate object path: /builds/coq/opam/opam-root-4.14.0-2.1.2-sandbox/download-cache/git/objects
# fatal: not a tree object
# File ".", line 1, characters 0-0:
# Error: There is no dune-project file in the current directory, please add one
# with a (name <name>) field in it.
# Hint: 'dune subst' must be executed from the root of the project.
The former state can be restored with:
/usr/local/bin/opam switch import "/builds/coq/opam/opam-root-4.14.0-2.1.2-sandbox/4.14.0/.opam-switch/backup/state-20240408081832.export"
'opam install coq-simple-io.dev -y -v -v --with-test' failed.
Removing coq-simple-io
[WARNING] Running as root is not recommended
[NOTE] coq-simple-io is not installed.
Packages that failed to install: coq-simple-io.dev
Packages that succeeded to install:
Uploading artifacts for failed job
Uploading artifacts...
log/: found 2 matching artifact files and directories
WARNING: Upload request redirected location=https://gitlab.com/api/v4/jobs/6569661783/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=6569661783 responseStatus=201 Created token=glcbt-65
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1
Loading