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.

Sign up for GitHub

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

Jump to bottom

Introduce tags for Inria GitLab CI. #3181

Merged
merged 1 commit into from
Oct 16, 2024

Introduce tags for Inria GitLab CI.

0b76465
Select commit
Loading
Failed to load commit list.
Merged

Introduce tags for Inria GitLab CI. #3181

Introduce tags for Inria GitLab CI.
0b76465
Select commit
Loading
Failed to load commit list.
coqbot-app / GitLab CI job opam-lint (pull request) failed Oct 16, 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:version    # Version of the package
PKG:depends    # Resolved direct dependencies of the package
PKG:installed  # Whether the package is installed
PKG:enable     # Takes the value "enable" or "disable" depending on whether the package is installed
PKG:pinned     # Whether the package is pinned
PKG:bin        # Binary directory for this package
PKG:sbin       # System binary directory for this package
PKG:lib        # Library directory for this package
PKG:man        # Man directory for this package
PKG:doc        # Doc directory for this package
PKG:share      # Share directory for this package
PKG:etc        # Etc directory for this package
PKG:build      # Directory where the package was built
PKG:hash       # Hash of the package archive
PKG:dev        # True if this is a development package
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
# Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-threads        base
base-unix           base
ocaml               4.11.2      The OCaml compiler (virtual package)
ocaml-base-compiler 4.11.2      Official release 4.11.2
ocaml-config        1           OCaml Switch Configuration
tar: Removing leading `/' from member names
$ curl -L https://github.com/ocaml/opam/releases/download/${OPAM_VERSION}/opam-${OPAM_VERSION}-x86_64-linux >/usr/local/bin/opam
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0

  1 7068k    1 81189    0     0  98069      0  0:01:13 --:--:--  0:01:13 98069
100 7068k  100 7068k    0     0  7527k      0 --:--:-- --:--:-- --:--:-- 61.4M
$ chmod +x /usr/local/bin/opam
$ set -o pipefail
$ scripts/opam-coq-list-pr-files | xargs scripts/opam-coq-lint
PR head is: 3b80d02d8a40a562f3553c447b53347462c0d220
fatal: Not a valid object name origin/master
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1
View more details on coqbot-app