2024-04-10 16:30.38: New job: test c-cube/sidekick https://github.com/c-cube/sidekick.git#refs/heads/master (eff6016151861dd79596191195e497d97a335127) (linux-x86_64:(lint-fmt))
Base: ocaml/opam@sha256:e30e92a245a5f284471a3437bd6b19ebfb9ae067e380416fd178b1f6c2290480
ocamlformat version: version 0.24.1 (from opam)
To reproduce locally:
git clone --recursive "https://github.com/c-cube/sidekick.git" -b "master" && cd "sidekick" && git reset --hard eff60161
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam@sha256:e30e92a245a5f284471a3437bd6b19ebfb9ae067e380416fd178b1f6c2290480
USER 1000:1000
RUN cd ~/opam-repository && (git cat-file -e 950c52962d34ab7507ecebe8cc7ef16fed0f292a || git fetch origin master) && git reset -q --hard 950c52962d34ab7507ecebe8cc7ef16fed0f292a && git log --no-decorate -n1 --oneline && opam update -u
RUN opam depext -i dune
WORKDIR /src
RUN opam depext -i ocamlformat=0.24.1
COPY --chown=1000:1000 . /src/
RUN opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2024-04-10 16:30.38: Using cache hint "c-cube/sidekick-ocaml/opam@sha256:e30e92a245a5f284471a3437bd6b19ebfb9ae067e380416fd178b1f6c2290480-debian-12-4.08_opam-2.1-ocamlformat-950c52962d34ab7507ecebe8cc7ef16fed0f292a"
2024-04-10 16:30.38: Using OBuilder spec:
((from ocaml/opam@sha256:e30e92a245a5f284471a3437bd6b19ebfb9ae067e380416fd178b1f6c2290480)
(user (uid 1000) (gid 1000))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 950c52962d34ab7507ecebe8cc7ef16fed0f292a || git fetch origin master) && git reset -q --hard 950c52962d34ab7507ecebe8cc7ef16fed0f292a && git log --no-decorate -n1 --oneline && opam update -u"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam depext -i dune"))
(workdir /src)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam depext -i ocamlformat=0.24.1"))
(copy (src .) (dst /src/))
(run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)"))
)
2024-04-10 16:30.38: Waiting for resource in pool OCluster
2024-04-10 18:50.03: Waiting for worker…
2024-04-10 18:53.35: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at eff60161 support trace-fuchsia if present
(from ocaml/opam@sha256:e30e92a245a5f284471a3437bd6b19ebfb9ae067e380416fd178b1f6c2290480)
Unable to find image 'ocaml/opam@sha256:e30e92a245a5f284471a3437bd6b19ebfb9ae067e380416fd178b1f6c2290480' locally
docker.io/ocaml/opam@sha256:e30e92a245a5f284471a3437bd6b19ebfb9ae067e380416fd178b1f6c2290480: Pulling from ocaml/opam
Digest: sha256:e30e92a245a5f284471a3437bd6b19ebfb9ae067e380416fd178b1f6c2290480
Status: Downloaded newer image for ocaml/opam@sha256:e30e92a245a5f284471a3437bd6b19ebfb9ae067e380416fd178b1f6c2290480
2024-04-10 18:53.35 ---> using "ca7a47bb337547622343e1e691b0c92596d0990b9ed28342fd47c7204c2b0a74" from cache
/: (user (uid 1000) (gid 1000))
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 950c52962d34ab7507ecebe8cc7ef16fed0f292a || git fetch origin master) && git reset -q --hard 950c52962d34ab7507ecebe8cc7ef16fed0f292a && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
4bb8cb8b65..b5c21ecd9a master -> origin/master
950c52962d [new release] dune (15 packages) (3.15.0)
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
default (at file:///home/opam/opam-repository):
[INFO] opam 2.1 includes many performance improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
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-04-10 18:53.35 ---> using "d503da00125902acd1f20be2925fe11278adbad3e0b35a554096da2f3ec05919" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam depext -i dune"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
# All required OS packages found.
# Now letting opam install the packages
The following actions will be performed:
- install dune 3.15.0
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[dune.3.15.0] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed dune.3.15.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-04-10 18:53.35 ---> using "053f2f263babb78e1364986dbbdff3b12925587c6fccaee354efcf5dac5b5e8d" from cache
/: (workdir /src)
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam depext -i ocamlformat=0.24.1"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
# All required OS packages found.
# Now letting opam install the packages
The following actions will be performed:
- install sexplib0 v0.14.0 [required by base]
- install ocamlbuild 0.14.3 [required by fpath, uuseg]
- install menhirCST 20231231 [required by menhir]
- install dune-build-info 3.15.0 [required by ocamlformat]
- install either 1.0.0 [required by ocamlformat]
- install cmdliner 1.2.0 [required by ocamlformat]
- install menhirSdk 20231231 [required by ocamlformat]
- install ocaml-version 3.5.0 [required by ocamlformat]
- install ocamlfind 1.9.6 [required by ocp-indent, fpath, uuseg]
- install menhirLib 20231231 [required by ocamlformat]
- install result 1.5 [required by odoc-parser]
- install seq base [required by re]
- install csexp 1.5.2 [required by ocamlformat]
- install camlp-streams 5.0.1 [required by odoc-parser]
- install fix 20230505 [required by ocamlformat]
- install topkg 1.0.7 [required by fpath, uuseg]
- install base-bytes base [required by ocp-indent]
- install menhir 20231231 [required by ocamlformat]
- install re 1.11.0 [required by ocamlformat]
- install dune-configurator 3.15.0 [required by base]
- install uutf 1.0.3 [required by ocamlformat]
- install astring 0.8.5 [required by fpath, odoc-parser]
- install ocp-indent 1.8.1 [required by ocamlformat]
- install base v0.14.3 [required by ocamlformat]
- install uucp 15.0.0 [required by uuseg]
- install odoc-parser 2.0.0 [required by ocamlformat]
- install fpath 0.7.3 [required by ocamlformat]
- install stdio v0.14.0 [required by ocamlformat]
- install uuseg 15.0.0 [required by ocamlformat]
- install ocamlformat 0.24.1
===== 30 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[astring.0.8.5] found in cache
[base.v0.14.3] found in cache
[camlp-streams.5.0.1] found in cache
[cmdliner.1.2.0] found in cache
[csexp.1.5.2] found in cache
[dune-build-info.3.15.0] found in cache
[dune-configurator.3.15.0] found in cache
[either.1.0.0] found in cache
[fix.20230505] found in cache
[fpath.0.7.3] found in cache
[menhir.20231231] found in cache
[menhirCST.20231231] found in cache
[menhirLib.20231231] found in cache
[menhirSdk.20231231] found in cache
[ocaml-version.3.5.0] found in cache
[ocamlbuild.0.14.3] found in cache
[ocamlfind.1.9.6] found in cache
[ocamlformat.0.24.1] found in cache
[ocp-indent.1.8.1] found in cache
[odoc-parser.2.0.0] found in cache
[re.1.11.0] found in cache
[result.1.5] found in cache
[sexplib0.v0.14.0] found in cache
[stdio.v0.14.0] found in cache
[topkg.1.0.7] found in cache
[uucp.15.0.0] found in cache
[uuseg.15.0.0] found in cache
[uutf.1.0.3] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed camlp-streams.5.0.1
-> installed csexp.1.5.2
-> installed cmdliner.1.2.0
-> installed either.1.0.0
-> installed fix.20230505
-> installed menhirCST.20231231
-> installed menhirLib.20231231
-> installed menhirSdk.20231231
-> installed ocaml-version.3.5.0
-> installed result.1.5
-> installed sexplib0.v0.14.0
-> installed re.1.11.0
-> installed dune-build-info.3.15.0
-> installed dune-configurator.3.15.0
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> installed ocamlbuild.0.14.3
-> installed ocp-indent.1.8.1
-> installed base.v0.14.3
-> installed topkg.1.0.7
-> installed stdio.v0.14.0
-> installed uutf.1.0.3
-> installed astring.0.8.5
-> installed odoc-parser.2.0.0
-> installed fpath.0.7.3
-> installed menhir.20231231
-> installed uucp.15.0.0
-> installed uuseg.15.0.0
-> installed ocamlformat.0.24.1
Done.
<><> ocp-indent.1.8.1 installed successfully ><><><><><><><><><><><><><><><><><>
=> This package requires additional configuration for use in editors. Install package 'user-setup', or manually:
* for Emacs, add these lines to ~/.emacs:
(add-to-list 'load-path "/home/opam/.opam/4.08/share/emacs/site-lisp")
(require 'ocp-indent)
* for Vim, add this line to ~/.vimrc:
set rtp^="/home/opam/.opam/4.08/share/ocp-indent/vim"
# Run eval $(opam env) to update the current shell environment
2024-04-10 18:53.35 ---> using "e67f7159bfd13f525cd13a6005802695e21eb0c94824c08f5e1d88e84b52789c" from cache
/src: (copy (src .) (dst /src/))
2024-04-10 18:53.36 ---> saved as "91cfa6b2139c2700ec8b40a7d861cd61702a1ab2f692376a97fc0011dcdce0b9"
/src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)"))
File "src/main/dune", line 1, characters 0-0:
diff --git a/_build/default/src/main/dune b/_build/default/src/main/.formatted/dune
index ded0b3a..aa75b3b 100644
--- a/_build/default/src/main/dune
+++ b/_build/default/src/main/.formatted/dune
@@ -7,8 +7,8 @@
(modules main pure_sat_solver)
(modes native)
(libraries containers iter result sidekick.sat sidekick.core sidekick-base
- sidekick.smt-solver sidekick-base.smtlib sidekick.drup
- sidekick.memtrace sidekick-bin.lib)
+ sidekick.smt-solver sidekick-base.smtlib sidekick.drup sidekick.memtrace
+ sidekick-bin.lib)
(flags :standard -safe-string -color always -open Sidekick_util))
(executable
File "src/bin-lib/dune", line 1, characters 0-0:
diff --git a/_build/default/src/bin-lib/dune b/_build/default/src/bin-lib/.formatted/dune
index 038f7b7..cd2c5b0 100644
--- a/_build/default/src/bin-lib/dune
+++ b/_build/default/src/bin-lib/.formatted/dune
@@ -2,11 +2,15 @@
(name sidekick_bin_lib)
(public_name sidekick-bin.lib)
(synopsis "Utils for the sidekick binaries")
- (libraries containers sidekick.util
- (select trace_setup.ml from
- (trace-fuchsia -> trace_setup.fuchsia.ml)
- (trace-tef -> trace_setup.tef.ml)
- (-> trace_setup.dummy.ml)))
+ (libraries
+ containers
+ sidekick.util
+ (select
+ trace_setup.ml
+ from
+ (trace-fuchsia -> trace_setup.fuchsia.ml)
+ (trace-tef -> trace_setup.tef.ml)
+ (-> trace_setup.dummy.ml)))
(flags :standard -warn-error -a+8 -open Sidekick_util))
(ocamllex
File "src/checker/dune", line 1, characters 0-0:
diff --git a/_build/default/src/checker/dune b/_build/default/src/checker/.formatted/dune
index 3be7dce..cebcca6 100644
--- a/_build/default/src/checker/dune
+++ b/_build/default/src/checker/.formatted/dune
@@ -2,6 +2,5 @@
(name main)
(public_name sidekick-checker)
(package sidekick-bin)
- (libraries containers sidekick-bin.lib sidekick.util
- sidekick.drup)
+ (libraries containers sidekick-bin.lib sidekick.util sidekick.drup)
(flags :standard -warn-error -a+8 -open Sidekick_util))
File "src/quip/Proof.ml", line 1, characters 0-0:
diff --git a/_build/default/src/quip/Proof.ml b/_build/default/src/quip/.formatted/Proof.ml
index aba0e1b..0350801 100644
--- a/_build/default/src/quip/Proof.ml
+++ b/_build/default/src/quip/.formatted/Proof.ml
@@ -117,7 +117,8 @@ type t =
}
| DT_isa_split of ty * term list
| DT_isa_disj of ty * term * term
- | DT_cstor_inj of Cstor.t * int * term list * term list (* [c t…=c u… |- t_i=u_i] *)
+ | DT_cstor_inj of
+ Cstor.t * int * term list * term list (* [c t…=c u… |- t_i=u_i] *)
| Bool_true_is_true
| Bool_true_neq_false
| Bool_eq of term * term (* equal by pure boolean reasoning *)
File "src/core-logic/const.ml", line 1, characters 0-0:
diff --git a/_build/default/src/core-logic/const.ml b/_build/default/src/core-logic/.formatted/const.ml
index 46b1c63..430050f 100644
--- a/_build/default/src/core-logic/const.ml
+++ b/_build/default/src/core-logic/.formatted/const.ml
@@ -26,5 +26,4 @@ let pp out (a : t) = a.c_ops.pp out a.c_view
let ser ~ser_t (self : t) = self.c_ops.ser ser_t self.c_view
let make c_view c_ops ~ty:c_ty : t = { c_view; c_ops; c_ty }
-type decoders =
- (string * Ops.t * (term Ser_decode.t -> view Ser_decode.t)) list
+type decoders = (string * Ops.t * (term Ser_decode.t -> view Ser_decode.t)) list
File "src/core-logic/const.mli", line 1, characters 0-0:
diff --git a/_build/default/src/core-logic/const.mli b/_build/default/src/core-logic/.formatted/const.mli
index 8fdd2f2..c945edb 100644
--- a/_build/default/src/core-logic/const.mli
+++ b/_build/default/src/core-logic/.formatted/const.mli
@@ -24,8 +24,7 @@ val make : view -> Ops.t -> ty:term -> t
val ser : ser_t:(term -> Ser_value.t) -> t -> string * Ser_value.t
val ty : t -> term
-type decoders =
- (string * Ops.t * (term Ser_decode.t -> view Ser_decode.t)) list
+type decoders = (string * Ops.t * (term Ser_decode.t -> view Ser_decode.t)) list
(** Decoders for constants: given a term store, return a list
of supported tags, and for each tag, a decoder for constants
that have this particular tag. *)
File "src/sat/heap.ml", line 1, characters 0-0:
diff --git a/_build/default/src/sat/heap.ml b/_build/default/src/sat/.formatted/heap.ml
index 468cb99..e0bfe95 100644
--- a/_build/default/src/sat/heap.ml
+++ b/_build/default/src/sat/.formatted/heap.ml
@@ -9,9 +9,7 @@ module Make (Elt : RANKED) = struct
let _absent_index = -1
let create store : t = { store; heap = Veci.create () }
let[@inline] left i = (i lsl 1) + 1 (* i*2 + 1 *)
-
let[@inline] right i = (i + 1) lsl 1 (* (i+1)*2 *)
-
let[@inline] parent i = (i - 1) asr 1 (* (i-1) / 2 *)
(*
@@ -24,9 +22,7 @@ module Make (Elt : RANKED) = struct
*)
let[@inline] get_elt_ self i = Elt.of_int_unsafe (Veci.get self.heap i)
-
- let[@inline] set_elt_ self i elt =
- Veci.set self.heap i (elt : Elt.t :> int)
+ let[@inline] set_elt_ self i elt = Veci.set self.heap i (elt : Elt.t :> int)
(* [elt] is above or at its expected position. Move it up the heap
(towards high indices) to restore the heap property *)
File "src/base/Data_ty.mli", line 1, characters 0-0:
diff --git a/_build/default/src/base/Data_ty.mli b/_build/default/src/base/.formatted/Data_ty.mli
index e53b915..a8961b5 100644
--- a/_build/default/src/base/Data_ty.mli
+++ b/_build/default/src/base/.formatted/Data_ty.mli
@@ -22,8 +22,7 @@ type t = data = {
data_as_ty: ty lazy_t;
}
-type Const.view +=
- private
+type Const.view += private
| Data of data
| Cstor of cstor
| Select of select
File "src/bin-lib/trace_setup.mli", line 1, characters 0-0:
diff --git a/_build/default/src/bin-lib/trace_setup.mli b/_build/default/src/bin-lib/.formatted/trace_setup.mli
index 00cb0f6..fd8491d 100644
--- a/_build/default/src/bin-lib/trace_setup.mli
+++ b/_build/default/src/bin-lib/.formatted/trace_setup.mli
@@ -1,2 +1 @@
-
val with_trace : (unit -> 'a) -> 'a
dune build @fmt failed
"/usr/bin/env" "bash" "-c" "opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)" failed with exit status 2
2024-04-10 18:53.37: Job failed: Failed: Build failed