Organisations tmcgilchrist bondi 2e09e5 (master)debian-12-5.0_opam-2.1
debian-12-5.0_opam-2.1

Created at May 10 22:06 +00:00
0s in queue
Finished at May 11 12:22 +00:00
2e09e5
Ran for 0s
Link Copied
Code Copied
Logs

Show raw logs
2024-05-10 22:06.56: New job: test tmcgilchrist/bondi https://github.com/tmcgilchrist/bondi.git#refs/heads/master (2e09e5d63dd570093921e517411b7118cd618e2a) (linux-x86_64:debian-12-5.0_opam-2.1)
Base: ocaml/opam@sha256:6d27563f22cad3cdbc6e69250077336e314d09d0d9bb06c1d896101a3f9f8e60
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/tmcgilchrist/bondi.git" -b "master" && cd "bondi" && git reset --hard 2e09e5d6
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam@sha256:6d27563f22cad3cdbc6e69250077336e314d09d0d9bb06c1d896101a3f9f8e60
# debian-12-5.0_opam-2.1
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 bondi.opam ./
RUN opam pin add -yn bondi.dev './'
ENV DEPS="base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base dune.3.15.2 menhir.20231231 menhirCST.20231231 menhirLib.20231231 menhirSdk.20231231 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.1 --depext-only -y bondi.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2024-05-10 22:06.56: Using cache hint "tmcgilchrist/bondi-ocaml/opam@sha256:6d27563f22cad3cdbc6e69250077336e314d09d0d9bb06c1d896101a3f9f8e60-debian-12-5.0_opam-2.1-1a10fa7fe576baebe63b0a42df491d14"
2024-05-10 22:06.56: Using OBuilder spec:
((from ocaml/opam@sha256:6d27563f22cad3cdbc6e69250077336e314d09d0d9bb06c1d896101a3f9f8e60)
 (comment debian-12-5.0_opam-2.1)
 (user (uid 1000) (gid 1000))
 (env CLICOLOR_FORCE 1)
 (env OPAMCOLOR always)
 (workdir /src)
 (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
 (run (shell "opam init --reinit -ni"))
 (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
 (workdir /src)
 (run (shell "sudo chown opam /src"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "cd ~/opam-repository && (git cat-file -e 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && git log --no-decorate -n1 --oneline && opam update -u"))
 (copy (src bondi.opam) (dst ./))
 (run (network host)
      (shell "opam pin add -yn bondi.dev './'"))
 (env DEPS "base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base dune.3.15.2 menhir.20231231 menhirCST.20231231 menhirLib.20231231 menhirSdk.20231231 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1")
 (env CI true)
 (env OCAMLCI true)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y bondi.dev $DEPS"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam install $DEPS"))
 (copy (src .) (dst /src))
 (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2024-05-10 22:06.56: Waiting for resource in pool OCluster
2024-05-11 12:16.32: Waiting for worker…
2024-05-11 12:21.24: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 2e09e5d Merge pull request #4 from tmcgilchrist/update-ocamlformat


(from ocaml/opam@sha256:6d27563f22cad3cdbc6e69250077336e314d09d0d9bb06c1d896101a3f9f8e60)
2024-05-11 12:21.26 ---> using "f05db63d7be607a84849be4c718d0fd213b3863baea95da9b7b8b80965f38f09" from cache


/: (comment debian-12-5.0_opam-2.1)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2024-05-11 12:21.26 ---> using "4ef7767c4d58188e020404e6560e60fe966fbd7d39cd0f5e5b73f21649c47c59" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


Continue? [Y/n] y
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.


Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-05-11 12:21.26 ---> using "903dbef71a7d3e1e2bc58f3c4fd0091238b48f399c79a2624ba389b1239d50c7" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-106-generic
The OCaml toplevel, version 5.0.0
2.1.5
2024-05-11 12:21.26 ---> using "e2a8b8d5bd06418be8543e1bada46989015c5387292c65871ea346f06f0534c3" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-05-11 12:21.26 ---> using "0c98b2cb780c79e6c57c19764c71204b1df8a035bd6420ed22e0291d684871c1" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "cd ~/opam-repository && (git cat-file -e 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   eb2dcab0d8..2ae169d7d0  master     -> origin/master
307e33d08f @dra27 and @Octachron maintain the 4.08+ packages


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-05-11 12:21.26 ---> using "84531e4fc5d427228d57eab93176c365fd25d42b32eca04ecd410cff34d78474" from cache


/src: (copy (src bondi.opam) (dst ./))
2024-05-11 12:21.26 ---> saved as "f101c74c0e054668e087f6533df5220c6fc88c350e6348eaf20456c2e091f7e4"


/src: (run (network host)
           (shell "opam pin add -yn bondi.dev './'"))
Package bondi does not exist, create as a NEW package? [Y/n] y
[bondi.dev] synchronised (file:///src)
bondi is now pinned to file:///src (version dev)
2024-05-11 12:21.27 ---> saved as "156a83945a7559d4fbf9b837c4a5af991da1e864d2e1bfa7bc005a083da8f7c4"


/src: (env DEPS "base-bigarray.base base-domains.base base-nnp.base base-threads.base base-unix.base dune.3.15.2 menhir.20231231 menhirCST.20231231 menhirLib.20231231 menhirSdk.20231231 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-config.3 ocaml-options-vanilla.1")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y bondi.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [155 kB]
- Fetched 258 kB in 0s (926 kB/s)
- Reading package lists...


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[bondi.dev] synchronised (no changes)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.0.0).
[NOTE] Package ocaml is already installed (current version is 5.0.0).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2024-05-11 12:21.38 ---> saved as "2d8c19426524f252dc57baece5338560e2093e83050833a471006c631d9c2b14"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.0.0).
[NOTE] Package ocaml is already installed (current version is 5.0.0).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
  - install dune      3.15.2
  - install menhirSdk 20231231
  - install menhirLib 20231231
  - install menhirCST 20231231
  - install menhir    20231231
===== 5 to install =====


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved menhir.20231231  (cached)
-> retrieved menhirCST.20231231  (cached)
-> retrieved menhirLib.20231231  (cached)
-> retrieved menhirSdk.20231231  (cached)
-> retrieved dune.3.15.2  (cached)
-> installed dune.3.15.2
-> installed menhirCST.20231231
-> installed menhirSdk.20231231
-> installed menhirLib.20231231
-> installed menhir.20231231
Done.
# Run eval $(opam env) to update the current shell environment
2024-05-11 12:22.28 ---> saved as "d7cbaa9ce388e2c45012a6b5eda61b7a47e1991ca3b063c1e56da00de05255ef"


/src: (copy (src .) (dst /src))
2024-05-11 12:22.28 ---> saved as "64b539656f1ceb37926300319a5c9844f959f11039554c711fbd98423fd72395"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default && /home/opam/.opam/5.0/bin/menhir src/parse.mly --base src/parse --infer-write-query src/parse__mock.ml.mock)
File "src/parse.mly", line 78, characters 30-35:
Warning: the token CLONE is unused.
File "src/parse.mly", line 78, characters 36-39:
Warning: the token CPC is unused.
File "src/parse.mly", line 85, characters 33-40:
Warning: the token CPCBIND is unused.
File "src/parse.mly", line 85, characters 41-47:
Warning: the token CPCPRO is unused.
File "src/parse.mly", line 85, characters 54-62:
Warning: the token DBLCOLON is unused.
File "src/parse.mly", line 111, characters 20-22:
Warning: the token IS is unused.
File "src/parse.mly", line 86, characters 28-38:
Warning: the token LONGRARROW is unused.
File "src/parse.mly", line 80, characters 72-76:
Warning: the token REST is unused.
File "src/parse.mly", line 108, characters 25-34:
Warning: the token prec_case is unused.
File "src/parse.mly", line 106, characters 18-26:
Warning: the token prec_fun is unused.
File "src/parse.mly", line 109, characters 10-19:
Warning: the token prec_list is unused.
File "src/parse.mly", line 106, characters 7-17:
Warning: the token prec_match is unused.
File "src/parse.mly", line 123, characters 6-17:
Warning: the token prec_suffix is unused.
File "src/parse.mly", line 381, characters 0-25:
Warning: symbol simpleBondiTermMethodList is unreachable from any of the start symbol(s).
(cd _build/default && /home/opam/.opam/5.0/bin/menhir src/parse.mly --base src/parse --infer-read-reply src/parse__mock.mli.inferred)
File "src/parse.mly", line 103, characters 0-6:
Warning: the precedence level assigned to AND is never useful.
File "src/parse.mly", line 116, characters 0-9:
Warning: the precedence level assigned to EQUALOP is never useful.
File "src/parse.mly", line 116, characters 0-9:
Warning: the precedence level assigned to GREATERTHAN is never useful.
File "src/parse.mly", line 111, characters 0-6:
Warning: the precedence level assigned to IF is never useful.
File "src/parse.mly", line 111, characters 0-6:
Warning: the precedence level assigned to IS is never useful.
File "src/parse.mly", line 116, characters 0-9:
Warning: the precedence level assigned to LESSTHAN is never useful.
File "src/parse.mly", line 102, characters 0-6:
Warning: the precedence level assigned to LET is never useful.
File "src/parse.mly", line 102, characters 0-6:
Warning: the precedence level assigned to LIN is never useful.
File "src/parse.mly", line 108, characters 0-6:
Warning: the precedence level assigned to LONGRARROW is never useful.
File "src/parse.mly", line 102, characters 0-6:
Warning: the precedence level assigned to NEW is never useful.
File "src/parse.mly", line 113, characters 0-5:
Warning: the precedence level assigned to PLUSEQUAL is never useful.
File "src/parse.mly", line 112, characters 0-9:
Warning: the precedence level assigned to REF is never useful.
File "src/parse.mly", line 112, characters 0-9:
Warning: the precedence level assigned to REFCONS is never useful.
File "src/parse.mly", line 116, characters 0-9:
Warning: the precedence level assigned to RELOP is never useful.
File "src/parse.mly", line 111, characters 0-6:
Warning: the precedence level assigned to THEN is never useful.
File "src/parse.mly", line 111, characters 0-6:
Warning: the precedence level assigned to WHILE is never useful.
File "src/parse.mly", line 122, characters 0-5:
Warning: the precedence level assigned to prec_app is never useful.
File "src/parse.mly", line 108, characters 0-6:
Warning: the precedence level assigned to prec_case is never useful.
File "src/parse.mly", line 122, characters 0-5:
Warning: the precedence level assigned to prec_compose is never useful.
File "src/parse.mly", line 106, characters 0-6:
Warning: the precedence level assigned to prec_fun is never useful.
File "src/parse.mly", line 109, characters 0-9:
Warning: the precedence level assigned to prec_list is never useful.
File "src/parse.mly", line 106, characters 0-6:
Warning: the precedence level assigned to prec_match is never useful.
File "src/parse.mly", line 123, characters 0-5:
Warning: the precedence level assigned to prec_suffix is never useful.
File "src/parse.mly", line 305, characters 46-54:
Warning: this %prec declaration is never useful.
File "src/parse.mly", line 318, characters 36-42:
Warning: this %prec declaration is never useful.
File "src/parse.mly", line 490, characters 46-58:
Warning: this %prec declaration is never useful.
File "src/parse.mly", line 515, characters 36-48:
Warning: this %prec declaration is never useful.
Warning: 47 states have shift/reduce conflicts.
Warning: one state has reduce/reduce conflicts.
Warning: 105 shift/reduce conflicts were arbitrarily resolved.
Warning: 106 end-of-stream conflicts were arbitrarily resolved.
File "src/parse.mly", line 342, characters 0-5:
Warning: symbol pTerm is never accepted.
Warning: in total, 1 production is never reduced.
2024-05-11 12:22.30 ---> saved as "2f69f442ca5e6f1471517327e3c8f4f2d659aef86e53fcf4a6f2af5e5038a9af"
Job succeeded
2024-05-11 12:22.31: Job succeeded