Getting StartedDocumentation
Organisationsc-cubesidekick8e6036 (main)(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

Show raw logs
2024-05-12 07:37.53: New job: test c-cube/sidekick https://github.com/c-cube/sidekick.git#refs/heads/main (8e6036bf3ff51f8f908dde30021325ea1371dccd) (linux-x86_64:(lint-fmt))
Base: ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
ocamlformat version: version 0.24.1 (from opam)


To reproduce locally:


git clone --recursive "https://github.com/c-cube/sidekick.git" -b "main" && cd "sidekick" && git reset --hard 8e6036bf
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
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-05-12 07:37.53: Using cache hint "c-cube/sidekick-ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb-debian-12-4.08_opam-2.1-ocamlformat-950c52962d34ab7507ecebe8cc7ef16fed0f292a"
2024-05-12 07:37.53: Using OBuilder spec:
((from ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb)
 (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-05-12 07:37.53: Waiting for resource in pool OCluster
2024-05-12 07:37.53: Waiting for worker…
2024-05-12 07:37.53: Got resource from pool OCluster
Building on x86-bm-c2.sw.ocaml.org
All commits already cached
HEAD is now at 8e6036bf chore: CI


(from ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb)
2024-05-12 07:38.21 ---> saved as "e0805034d9e735da2cb99f3eb2cde6a7473dabe8bd1020b5bf9a6e9f3a9991fe"


/: (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"))
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-05-12 07:39.27 ---> saved as "aaf8f40ee793759ff0abf9f1b011ffef90418eeb721e7110a2994667cec82100"


/: (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-05-12 07:40.37 ---> saved as "73145cadc4326cb5c837bec09cc5eb1b1ddd776f1e2b5626365a9e05ad127bb6"


/: (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 either.1.0.0
-> installed fix.20230505
-> installed cmdliner.1.2.0
-> installed menhirCST.20231231
-> installed menhirLib.20231231
-> installed menhirSdk.20231231
-> installed ocaml-version.3.5.0
-> installed re.1.11.0
-> installed result.1.5
-> installed sexplib0.v0.14.0
-> installed dune-build-info.3.15.0
-> installed dune-configurator.3.15.0
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> installed ocp-indent.1.8.1
-> installed ocamlbuild.0.14.3
-> installed base.v0.14.3
-> installed stdio.v0.14.0
-> installed topkg.1.0.7
-> 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-05-12 07:41.59 ---> saved as "b854772301fefd3f52bdcbe9c21783503d4030cee1f294d123c6a77e07c046c5"


/src: (copy (src .) (dst /src/))
2024-05-12 07:42.00 ---> saved as "b53bfd122a2bbdbe24627d6f4b820ead07b9abfa4cff6e23b3782be1c12d62c5"


/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.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/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/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/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/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-05-12 07:42.02: Job failed: Failed: Build failed