Updated GitHub workflow

mmottl · Dec 8, 2024 · 83b0f0b · 83b0f0b
1 parent d1478ba
commit 83b0f0b
Showing 1 changed file with 13 additions and 13 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,35 +1,35 @@
-name: Main workflow
+name: Builds, tests & co
 
 on:
   - pull_request
   - push
   - workflow_dispatch
 
+permissions: read-all
+
 jobs:
   build:
     strategy:
       fail-fast: false
       matrix:
-        include:
-          - os: ubuntu-latest
-            ocaml-compiler: 5.2.0
-          - os: macos-latest
-            ocaml-compiler: 5.2.0
+        os:
+          - ubuntu-latest
+          - macos-latest
 
     runs-on: ${{ matrix.os }}
 
     steps:
-      - name: Checkout code
+      - name: Checkout tree
         uses: actions/checkout@v4
 
-      - name: Use OCaml ${{ matrix.ocaml-compiler }}
-        uses: ocaml/setup-ocaml@v2
+      - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
+        uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+          ocaml-compiler: 5
 
-      - run: opam install -t --deps-only .
+      - run: opam install . --deps-only --with-test
 
-      - run: opam exec -- make
+      - run: opam exec -- dune build
 
-      - run: opam exec -- make -C test
+      - run: opam exec -- dune runtest
 # vim: filetype=yaml