From 3ebe7be2a513509991394996266b57e750f4f4bf Mon Sep 17 00:00:00 2001
From: Markus Mottl <markus.mottl@gmail.com>
Date: Wed, 31 Jul 2024 23:52:39 -0400
Subject: [PATCH] Improved GitHub workflow

---
 .github/workflows/main.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 49051a0..bf2e182 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -12,15 +12,15 @@ jobs:
       matrix:
         include:
           - os: ubuntu-latest
-            ocaml-compiler: 4.14.0
+            ocaml-compiler: 5.2.0
           - os: macos-latest
-            ocaml-compiler: 4.13.1
+            ocaml-compiler: 5.2.0
 
     runs-on: ${{ matrix.os }}
 
     steps:
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
 
       - name: Use OCaml ${{ matrix.ocaml-compiler }}
         uses: ocaml/setup-ocaml@v2
@@ -28,7 +28,7 @@ jobs:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
 
       - run: opam install -t --deps-only .
-      
+
       - run: opam exec -- make
-      
+
       - run: opam exec -- make -C test