Merge pull request herd#1652 from HadrienRenaud/add-logs-to-low-ci

[ci][gen] Add logs to dependencies in workflows

This is a follow-up on herd#1574 that introduced a new dependency to herdtools7.
We update all the workflows to use the correct dependencies.

Note: Most of those are optimisations, I don't think any workflow was failing.

Author: HadrienRenaud

.github/workflows/build-asl-reference.yml

@@ -36,7 +36,7 @@ jobs:
       - name: Set-up OCaml
         uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-compiler: dune,zarith,menhir,conf-which
+          ocaml-compiler: dune,zarith,menhir,logs,conf-which
           opam-disable-sandboxing: true
           dune-cache: true
 

.github/workflows/build-www.yml

@@ -15,7 +15,7 @@ jobs:
         with:
           ocaml-compiler: 5.1.0
       - run: |
-          opam install dune menhir zarith js_of_ocaml.5.4.0 js_of_ocaml-ppx zarith_stubs_js
+          opam install dune menhir zarith js_of_ocaml.5.4.0 js_of_ocaml-ppx zarith_stubs_js logs
           opam exec -- make Version.ml
           opam exec -- dune build tools/cat2html.exe
           opam exec -- make -C herd-www

.github/workflows/check-build-www.yml

@@ -30,7 +30,7 @@ jobs:
         with:
           ocaml-compiler: 5.1.0
       - run: |
-          opam install dune menhir zarith js_of_ocaml.5.4.0 js_of_ocaml-ppx zarith_stubs_js
+          opam install dune menhir zarith js_of_ocaml.5.4.0 js_of_ocaml-ppx zarith_stubs_js logs
           opam exec -- make Version.ml
           opam exec -- dune build tools/cat2html.exe
           opam exec -- make -C herd-www

.github/workflows/make-test-diy.yml

@@ -23,10 +23,13 @@ jobs:
         os:
           - ubuntu-latest
         cfg:
-          - ocaml-version: "ocaml-base-compiler.4.08.1,dune.3.10.0,zarith.1.13,menhir.20220210"
+            # Minimal versions: we want to test both ends of the supported space
+          - ocaml-version: "ocaml-base-compiler.4.08.1,dune.3.10.0,zarith.1.13,menhir.20220210,logs.0.7.0"
             job-name: "OCaml v4.08"
             dune-cache: "enabled"
-          - ocaml-version: "dune,zarith,menhir"
+
+            # Maximal version: this will automatically select the most recent version compatible.
+          - ocaml-version: "dune,zarith,menhir,logs"
             dune-cache: "enabled-except-user-rules"
             job-name: "OCaml latest lts"
 

.github/workflows/make-test.yml

@@ -23,11 +23,14 @@ jobs:
         os:
           - ubuntu-latest
         cfg:
-          - ocaml-version: "ocaml-base-compiler.4.08.1,dune.3.10.0,zarith.1.13,menhir.20220210"
+            # Minimal versions: we want to test both ends of the supported space
+          - ocaml-compiler: "ocaml-base-compiler.4.08.1,dune.3.10.0,zarith.1.13,menhir.20220210,logs.0.7.0"
             with-type-check-asl: false
             job-name: "OCaml v4.08"
             dune-cache: "enabled"
-          - ocaml-version: "dune,zarith,menhir"
+
+            # Maximal version: this will automatically select the most recent version compatible.
+          - ocaml-compiler: "dune,zarith,menhir,logs"
             with-type-check-asl: true
             dune-cache: "enabled-except-user-rules"
             job-name: "OCaml latest lts"
@@ -46,7 +49,7 @@ jobs:
       - name: Set-up OCaml
         uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-compiler: ${{ matrix.cfg.ocaml-version }}
+          ocaml-compiler: ${{ matrix.cfg.ocaml-compiler }}
           dune-cache: true
 
       - run: opam install . --deps-only --with-test

.github/workflows/run-litmus.yml

@@ -37,7 +37,7 @@ jobs:
         run: sudo apt update && sudo apt install qemu-system -qq
 
       - name: Install opam dependencies
-        run: opam install dune menhir zarith
+        run: opam install . --deps-only
 
       - name: Build local dependencies
         run: |