Coq cheri capabilities.1.1.0 #3194
Open
coqbot-app / GitLab CI job opam-build:any (pull request)
failed
Oct 30, 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
PKG:build-id # A hash identifying the precise package version with all its dependencies
PKG:opamfile # Path of the curent opam file
[WARNING] Running as root is not recommended
# switch compiler description
-> 4.09.0 ocaml-base-compiler.4.09.0 4.09.0
[WARNING] Running as root is not recommended
[WARNING] Running as root is not recommended
# Packages matching: installed
# Name # Installed # Synopsis
base-bigarray base
base-threads base
base-unix base
ocaml 4.09.0 The OCaml compiler (virtual package)
ocaml-base-compiler 4.09.0 Official release 4.09.0
ocaml-config 1 OCaml Switch Configuration
/builds/J-gEBwyb/0/coq/opam/opam-root-4.09.0-2.1.2-sandbox/4.09.0/bin/ocamlc
No repo to add
Check if coq-cheri-capabilities.1.1.0 is installable
[WARNING] Running as root is not recommended
[ERROR] Package conflict!
* Missing dependency:
- coq-stdpp >= dev
no matching version
No solution found, exiting
Check if coq-cheri-capabilities.1.1.0 is installable with another compiler
[WARNING] Running as root is not recommended
[ERROR] Package conflict!
* Missing dependency:
- coq-stdpp >= dev
no matching version
No solution found, exiting
Uploading artifacts for failed job
Uploading artifacts...
log/: found 2 matching artifact files and directories
Uploading artifacts as "archive" to coordinator... 201 Created id=4911080 responseStatus=201 Created token=glcbt-64
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1
Loading