(lint-fmt)

2024-05-10 16:15.02: New job: test sanette/bogue https://github.com/sanette/bogue.git#refs/heads/power_saving (5d63478045b543377bd562fc716bcd2dd92bcda6) (linux-x86_64:(lint-fmt))
Base: ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/sanette/bogue.git" -b "power_saving" && cd "bogue" && git reset --hard 5d634780
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
USER 1000:1000
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
RUN opam depext -i dune
WORKDIR /src
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-10 16:15.02: Using cache hint "sanette/bogue-ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb-debian-12-4.08_opam-2.1-ocamlformat-307e33d08fc4ccc1ea453ab45b0ead8ed574b97b"
2024-05-10 16:15.02: 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 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b || git fetch origin master) && git reset -q --hard 307e33d08fc4ccc1ea453ab45b0ead8ed574b97b && 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)
 (copy (src .) (dst /src/))
 (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)"))
)


2024-05-10 16:15.02: Waiting for resource in pool OCluster
2024-05-11 09:20.18: Waiting for worker…
2024-05-11 09:36.36: Got resource from pool OCluster
Building on x86-bm-c19.sw.ocaml.org
All commits already cached
HEAD is now at 5d63478 correct changelog


(from ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb)
Unable to find image 'ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb' locally
docker.io/ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb: Pulling from ocaml/opam
61aa86cd8a87: Pulling fs layer
61aa86cd8a87: Verifying Checksum
61aa86cd8a87: Download complete
61aa86cd8a87: Pull complete
Digest: sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
Status: Downloaded newer image for ocaml/opam@sha256:fda21a992c5df0e509393861bcf1b40849d544491656742979043a148fbba8bb
2024-05-11 09:36.36 ---> using "e0805034d9e735da2cb99f3eb2cde6a7473dabe8bd1020b5bf9a6e9f3a9991fe" 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 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
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-11 09:36.55 ---> saved as "7a9e50f2cda6a477fecf9feb19820cff5cf752694490b969013ec5cc497c2763"


/: (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.2


<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[dune.3.15.2] found in cache


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed dune.3.15.2
Done.
# Run eval $(opam env) to update the current shell environment
2024-05-11 09:37.43 ---> saved as "da0ef2a22593619ca89bdb7c851c410681f2b8fe60d8d94466f5cedadddd8593"


/: (workdir /src)


/src: (copy (src .) (dst /src/))
2024-05-11 09:37.43 ---> saved as "5c748a4b722f8385a274e91babb0ac3aed220510b414c3d18240337e6eaa91c3"


/src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)"))
Error: Program ocamlformat not found in the tree or in PATH
 (context: default)
-> required by _build/default/lib/.formatted/b_avar.ml
-> required by alias lib/.formatted/fmt
-> required by alias lib/fmt
File "lib/dune", line 1, characters 0-0:
diff --git a/_build/default/lib/dune b/_build/default/lib/.formatted/dune
index bde00a7..8bda3ad 100644
--- a/_build/default/lib/dune
+++ b/_build/default/lib/.formatted/dune
@@ -5,64 +5,113 @@
 
 (install
  (section share)
-; to be completed
-; autogenerated, don't edit
- (files  ("../share/assets/audio/swoosh.wav" as "assets/audio/swoosh.wav")
+ ; to be completed
+ ; autogenerated, don't edit
+ (files
+  ("../share/assets/audio/swoosh.wav" as "assets/audio/swoosh.wav")
   ("../share/assets/audio/button.wav" as "assets/audio/button.wav")
   ("../share/assets/audio/chunk.wav" as "assets/audio/chunk.wav")
   ("../share/assets/audio/sia.wav" as "assets/audio/sia.wav")
   ("../share/assets/audio/sample.wav" as "assets/audio/sample.wav")
-  ("../share/assets/images/w3c-logo-white.svg" as "assets/images/w3c-logo-white.svg")
+  ("../share/assets/images/w3c-logo-white.svg" as
+    "assets/images/w3c-logo-white.svg")
   ("../share/assets/images/background.png" as "assets/images/background.png")
   ("../share/assets/images/koala.svg" as "assets/images/koala.svg")
-  ("../share/assets/images/nasa_black_hole_cygx1_ill.jpg" as "assets/images/nasa_black_hole_cygx1_ill.jpg")
+  ("../share/assets/images/nasa_black_hole_cygx1_ill.jpg" as
+    "assets/images/nasa_black_hole_cygx1_ill.jpg")
   ("../share/assets/images/chl.png" as "assets/images/chl.png")
   ("../share/assets/README.txt" as "assets/README.txt")
   ("../share/themes/default/bogue.conf" as "themes/default/bogue.conf")
-  ("../share/themes/default/bogue-icon.png" as "themes/default/bogue-icon.png")
-  ("../share/themes/common/colors/html-color-codes.htm" as "themes/common/colors/html-color-codes.htm")
-  ("../share/themes/common/colors/color_list.ods" as "themes/common/colors/color_list.ods")
-  ("../share/themes/common/colors/liste.txt" as "themes/common/colors/liste.txt")
-  ("../share/themes/common/ACKNOWLEDGEMENTS" as "themes/common/ACKNOWLEDGEMENTS")
-  ("../share/themes/common/fonts/Ubuntu-R.ttf" as "themes/common/fonts/Ubuntu-R.ttf")
-  ("../share/themes/common/fonts/UbuntuMono-R.ttf" as "themes/common/fonts/UbuntuMono-R.ttf")
-  ("../share/themes/common/fonts/81e5605d-ubuntu-font-licence-1.0.txt" as "themes/common/fonts/81e5605d-ubuntu-font-licence-1.0.txt")
-  ("../share/themes/common/font-awesome-4.6.3/Font Awesome 4.6.3 Class Explorer.html" as "themes/common/font-awesome-4.6.3/Font Awesome 4.6.3 Class Explorer.html")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_rotated-flipped.scss" as "themes/common/font-awesome-4.6.3/scss/_rotated-flipped.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_icons.scss" as "themes/common/font-awesome-4.6.3/scss/_icons.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_stacked.scss" as "themes/common/font-awesome-4.6.3/scss/_stacked.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_bordered-pulled.scss" as "themes/common/font-awesome-4.6.3/scss/_bordered-pulled.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_screen-reader.scss" as "themes/common/font-awesome-4.6.3/scss/_screen-reader.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_animated.scss" as "themes/common/font-awesome-4.6.3/scss/_animated.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_mixins.scss" as "themes/common/font-awesome-4.6.3/scss/_mixins.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_fixed-width.scss" as "themes/common/font-awesome-4.6.3/scss/_fixed-width.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_larger.scss" as "themes/common/font-awesome-4.6.3/scss/_larger.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/font-awesome.scss" as "themes/common/font-awesome-4.6.3/scss/font-awesome.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_core.scss" as "themes/common/font-awesome-4.6.3/scss/_core.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_path.scss" as "themes/common/font-awesome-4.6.3/scss/_path.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_list.scss" as "themes/common/font-awesome-4.6.3/scss/_list.scss")
-  ("../share/themes/common/font-awesome-4.6.3/scss/_variables.scss" as "themes/common/font-awesome-4.6.3/scss/_variables.scss")
-  ("../share/themes/common/font-awesome-4.6.3/less/core.less" as "themes/common/font-awesome-4.6.3/less/core.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/bordered-pulled.less" as "themes/common/font-awesome-4.6.3/less/bordered-pulled.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/mixins.less" as "themes/common/font-awesome-4.6.3/less/mixins.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/font-awesome.less" as "themes/common/font-awesome-4.6.3/less/font-awesome.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/larger.less" as "themes/common/font-awesome-4.6.3/less/larger.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/fixed-width.less" as "themes/common/font-awesome-4.6.3/less/fixed-width.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/stacked.less" as "themes/common/font-awesome-4.6.3/less/stacked.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/animated.less" as "themes/common/font-awesome-4.6.3/less/animated.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/list.less" as "themes/common/font-awesome-4.6.3/less/list.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/icons.less" as "themes/common/font-awesome-4.6.3/less/icons.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/rotated-flipped.less" as "themes/common/font-awesome-4.6.3/less/rotated-flipped.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/variables.less" as "themes/common/font-awesome-4.6.3/less/variables.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/path.less" as "themes/common/font-awesome-4.6.3/less/path.less")
-  ("../share/themes/common/font-awesome-4.6.3/less/screen-reader.less" as "themes/common/font-awesome-4.6.3/less/screen-reader.less")
-  ("../share/themes/common/font-awesome-4.6.3/HELP-US-OUT.txt" as "themes/common/font-awesome-4.6.3/HELP-US-OUT.txt")
-  ("../share/themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.woff2" as "themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.woff2")
-  ("../share/themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.eot" as "themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.eot")
-  ("../share/themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.ttf" as "themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.ttf")
-  ("../share/themes/common/font-awesome-4.6.3/fonts/FontAwesome.otf" as "themes/common/font-awesome-4.6.3/fonts/FontAwesome.otf")
-  ("../share/themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.svg" as "themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.svg")
-  ("../share/themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.woff" as "themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.woff")
-  ("../share/themes/common/font-awesome-4.6.3/css/font-awesome.css" as "themes/common/font-awesome-4.6.3/css/font-awesome.css")
-  ("../share/themes/common/font-awesome-4.6.3/css/font-awesome.min.css" as "themes/common/font-awesome-4.6.3/css/font-awesome.min.css")
-))
+  ("../share/themes/default/bogue-icon.png" as
+    "themes/default/bogue-icon.png")
+  ("../share/themes/common/colors/html-color-codes.htm" as
+    "themes/common/colors/html-color-codes.htm")
+  ("../share/themes/common/colors/color_list.ods" as
+    "themes/common/colors/color_list.ods")
+  ("../share/themes/common/colors/liste.txt" as
+    "themes/common/colors/liste.txt")
+  ("../share/themes/common/ACKNOWLEDGEMENTS" as
+    "themes/common/ACKNOWLEDGEMENTS")
+  ("../share/themes/common/fonts/Ubuntu-R.ttf" as
+    "themes/common/fonts/Ubuntu-R.ttf")
+  ("../share/themes/common/fonts/UbuntuMono-R.ttf" as
+    "themes/common/fonts/UbuntuMono-R.ttf")
+  ("../share/themes/common/fonts/81e5605d-ubuntu-font-licence-1.0.txt" as
+    "themes/common/fonts/81e5605d-ubuntu-font-licence-1.0.txt")
+  ("../share/themes/common/font-awesome-4.6.3/Font Awesome 4.6.3 Class Explorer.html"
+    as
+    "themes/common/font-awesome-4.6.3/Font Awesome 4.6.3 Class Explorer.html")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_rotated-flipped.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_rotated-flipped.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_icons.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_icons.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_stacked.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_stacked.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_bordered-pulled.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_bordered-pulled.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_screen-reader.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_screen-reader.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_animated.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_animated.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_mixins.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_mixins.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_fixed-width.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_fixed-width.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_larger.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_larger.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/font-awesome.scss" as
+    "themes/common/font-awesome-4.6.3/scss/font-awesome.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_core.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_core.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_path.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_path.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_list.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_list.scss")
+  ("../share/themes/common/font-awesome-4.6.3/scss/_variables.scss" as
+    "themes/common/font-awesome-4.6.3/scss/_variables.scss")
+  ("../share/themes/common/font-awesome-4.6.3/less/core.less" as
+    "themes/common/font-awesome-4.6.3/less/core.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/bordered-pulled.less" as
+    "themes/common/font-awesome-4.6.3/less/bordered-pulled.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/mixins.less" as
+    "themes/common/font-awesome-4.6.3/less/mixins.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/font-awesome.less" as
+    "themes/common/font-awesome-4.6.3/less/font-awesome.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/larger.less" as
+    "themes/common/font-awesome-4.6.3/less/larger.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/fixed-width.less" as
+    "themes/common/font-awesome-4.6.3/less/fixed-width.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/stacked.less" as
+    "themes/common/font-awesome-4.6.3/less/stacked.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/animated.less" as
+    "themes/common/font-awesome-4.6.3/less/animated.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/list.less" as
+    "themes/common/font-awesome-4.6.3/less/list.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/icons.less" as
+    "themes/common/font-awesome-4.6.3/less/icons.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/rotated-flipped.less" as
+    "themes/common/font-awesome-4.6.3/less/rotated-flipped.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/variables.less" as
+    "themes/common/font-awesome-4.6.3/less/variables.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/path.less" as
+    "themes/common/font-awesome-4.6.3/less/path.less")
+  ("../share/themes/common/font-awesome-4.6.3/less/screen-reader.less" as
+    "themes/common/font-awesome-4.6.3/less/screen-reader.less")
+  ("../share/themes/common/font-awesome-4.6.3/HELP-US-OUT.txt" as
+    "themes/common/font-awesome-4.6.3/HELP-US-OUT.txt")
+  ("../share/themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.woff2"
+    as "themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.woff2")
+  ("../share/themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.eot"
+    as "themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.eot")
+  ("../share/themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.ttf"
+    as "themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.ttf")
+  ("../share/themes/common/font-awesome-4.6.3/fonts/FontAwesome.otf" as
+    "themes/common/font-awesome-4.6.3/fonts/FontAwesome.otf")
+  ("../share/themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.svg"
+    as "themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.svg")
+  ("../share/themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.woff"
+    as "themes/common/font-awesome-4.6.3/fonts/fontawesome-webfont.woff")
+  ("../share/themes/common/font-awesome-4.6.3/css/font-awesome.css" as
+    "themes/common/font-awesome-4.6.3/css/font-awesome.css")
+  ("../share/themes/common/font-awesome-4.6.3/css/font-awesome.min.css" as
+    "themes/common/font-awesome-4.6.3/css/font-awesome.min.css")))
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-11 09:37.45: Job failed: Failed: Build failed