Fix workflows

TDacik · Jan 20, 2025 · 857a8cd · 857a8cd
1 parent 1daac00
commit 857a8cd
Show file tree

Hide file tree

Showing 3 changed files with 51 additions and 35 deletions.
diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml
@@ -0,0 +1,36 @@
+name: Run tests
+
+on: [push, pull_request]
+
+jobs:
+
+  setup:
+    uses: ./.github/workflows/setup.yml
+
+  deploy-doc:
+    runs-on: ubuntu-latest
+
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    permissions:
+      contents: read
+      id-token: write
+      pages: write
+
+    steps:
+      - name: Build documentation
+        run: opam exec -- dune build @doc
+
+      - name: Set-up Pages
+        uses: actions/configure-pages@v5
+
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: _build/default/_doc/_html
+
+      - name: Deploy odoc to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -8,45 +8,11 @@ on: [push, pull_request]
 
 jobs:
 
-  unit-tests:
+  setup:
     uses: ./.github/workflows/setup.yml
-    runs-on: ubuntu-latest
-    steps:
-      - name: Run unit tests
-        run: opam exec -- dune runtest
 
   regression-tests:
-    uses: ./.github/workflows/setup.yml
     runs-on: ubuntu-latest
     steps:
       - name: Run regression tests
         run: python3 scripts/run_tests.py
-
-  deploy-doc:
-    uses: ./.github/workflows/setup.yml
-    runs-on: ubuntu-latest
-
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-
-    permissions:
-      contents: read
-      id-token: write
-      pages: write
-
-    steps:
-      - name: Build documentation
-        run: opam exec -- dune build @doc
-
-      - name: Set-up Pages
-        uses: actions/configure-pages@v5
-
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
-        with:
-          path: _build/default/_doc/_html
-
-      - name: Deploy odoc to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4
diff --git a/.github/workflows/unit_tests.yml b/.github/workflows/unit_tests.yml
@@ -0,0 +1,14 @@
+name: Run tests
+
+on: [push, pull_request]
+
+jobs:
+
+  setup:
+    uses: ./.github/workflows/setup.yml
+
+  unit-tests:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Run unit tests
+        run: opam exec -- dune runtest