poke CI

savonet · Sep 4, 2024 · 979a1c0 · 979a1c0
1 parent 05a3e8e
commit 979a1c0
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 17 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -48,11 +48,12 @@ jobs:
           - {ocamlVersion: 4_12, os: ubuntu-latest}
           - {ocamlVersion: 4_13, os: ubuntu-latest}
           - {ocamlVersion: 4_14, os: ubuntu-latest}
-          - {ocamlVersion: 5_0, os: ubuntu-latest}
-          - {ocamlVersion: 5_0, os: macos-latest}
+          - {ocamlVersion: 5_1, os: ubuntu-latest}
+          - {ocamlVersion: 5_2, os: ubuntu-latest}
+          - {ocamlVersion: 5_2, os: macos-latest}
     steps:
-    - uses: actions/checkout@v3
-    - uses: cachix/install-nix-action@v22
+    - uses: actions/checkout@v4
+    - uses: cachix/install-nix-action@v27
       with:
         extra_nix_config: |
           extra-substituters = https://anmonteiro.nix-cache.workers.dev

diff --git a/.gitmodules b/.gitmodules
diff --git a/flake.lock b/flake.lock