Update actions

ulrikstrid · Dec 16, 2024 · fe59952 · fe59952
1 parent ba7cae3
commit fe59952
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/build-master.yml b/.github/workflows/build-master.yml
@@ -13,7 +13,7 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
         with:
-          persist-credentials: falsene
+          persist-credentials: false
 
       - uses: cachix/install-nix-action@v30
         with:

diff --git a/.github/workflows/check-pr.yml b/.github/workflows/check-pr.yml
@@ -13,10 +13,10 @@ jobs:
         os:
           - macos-latest
           - ubuntu-latest
-          - windows-latest
+          # - windows-latest
         ocaml-compiler:
+          - 4.14.x
           - 4.13.x
-          - 4.08.x
 
     runs-on: ${{ matrix.os }}