faster CI

formalsec · Dec 24, 2023 · 55b27c5 · 55b27c5
1 parent 840bd6e
commit 55b27c5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -14,7 +14,8 @@ jobs:
       fail-fast: true
       matrix:
         os:
-          - self-hosted
+          - ubuntu-latest
+          - macos-latest
         ocaml-compiler:
           - "4.14"
           - "5.1"
@@ -26,6 +27,8 @@ jobs:
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
+          dune-cache: true
+          allow-prerelease-opam: true
       - name: Install dependencies
         run: opam install -y . --deps-only --with-test
       - name: Build

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -16,14 +16,16 @@ concurrency:
 
 jobs:
   build:
-    runs-on: self-hosted
+    runs-on: ubuntu-latest
     steps:
       - name: Checkout
         uses: actions/checkout@v4
       - name: Setup OCaml 4.14
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: "4.14"
+          dune-cache: true
+          allow-prerelease-opam: true
       - name: Setup Pages
         id: pages
         uses: actions/configure-pages@v3