Merge remote-tracking branch 'origin/master' into dm-only-if-user-bre…

…aks-a-step * origin/master: update ci check ocaml setup
ahrefs · Sep 28, 2024 · 0fd1067 · 0fd1067
2 parents e297f1d + 096eef1
commit 0fd1067
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 408 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -23,11 +23,10 @@ jobs:
       - run: sudo apt-get update
 
       - name: Use OCaml ${{ matrix.ocaml-compiler }}
-        uses: ocaml/setup-ocaml@v2
+        uses: ocaml/setup-ocaml@v3
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           dune-cache: true
-          opam-depext-flags: '--with-test'
           allow-prerelease-opam: true
 
         # apt update is implicit

diff --git a/new.json b/new.json
diff --git a/sdfsstate.json b/sdfsstate.json