Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow dune >= 3.15.3 in all packages restricting dune to < 3.14 #3090

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Allow dune >= 3.15.3 in all packages restricting dune to < 3.14

255ce9d
Select commit
Loading
Failed to load commit list.
Open

Allow dune >= 3.15.3 in all packages restricting dune to < 3.14 #3090

Allow dune >= 3.15.3 in all packages restricting dune to < 3.14
255ce9d
Select commit
Loading
Failed to load commit list.
coqbot-app / GitLab CI job opam-build:4.11.2 (pull request) failed Jul 3, 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.11.2 | file:///builds/coq/opam/core-dev
# path                 ~/opam-root-4.11.2-2.1.2-sandbox/4.11.2/.opam-switch/build/coqide-server.dev
# command              ~/opam-root-4.11.2-2.1.2-sandbox/opam-init/hooks/sandbox.sh build dune subst
# exit-code            1
# env-file             ~/opam-root-4.11.2-2.1.2-sandbox/log/coqide-server-64172-ad6a38.env
# output-file          ~/opam-root-4.11.2-2.1.2-sandbox/log/coqide-server-64172-ad6a38.out
### output ###
# /usr/bin/git ls-tree -z -r --name-only HEAD > /opam-tmp/dune_b7b8c3_output
# error: unable to normalize alternate object path: /builds/coq/opam/opam-root-4.11.2-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.11.2-2.1.2-sandbox/4.11.2/.opam-switch/backup/state-20240703162904.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-quickchick.dev coq-simple-io.dev
Packages that succeeded to install: coq-core.8.19+rc1 coq-core.8.19.dev coq-core.8.20+rc1 coq-core.8.20.dev coq-core.dev
Uploading artifacts for failed job
Uploading artifacts...
log/: found 8 matching artifact files and directories 
WARNING: Upload request redirected                  location=https://gitlab.com/api/v4/jobs/7257895570/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=7257895570 responseStatus=201 Created token=glcbt-66
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1