From ffb1596c7d77316e3515b6ec5d71ba8cd635aeff Mon Sep 17 00:00:00 2001
From: Tim Hutt <timothy.hutt@codasip.com>
Date: Mon, 2 Dec 2024 10:34:05 +0000
Subject: [PATCH] Upgrade build.yml action versions

And make `macos` case consistant.
---
 .github/workflows/build.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d4665bea4..16a878257 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -10,7 +10,7 @@ jobs:
     strategy:
       matrix:
         version: [4.08.1, 5.2.1]
-        os: [ubuntu-latest, macOS-latest]
+        os: [ubuntu-latest, macos-latest]
         exclude:
         - os: macos-latest
           version: 4.08.1
@@ -18,7 +18,7 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
 
     - name: System dependencies (ubuntu)
       if: startsWith(matrix.os, 'ubuntu')
@@ -26,13 +26,13 @@ jobs:
         sudo apt install build-essential libgmp-dev z3 cvc4 opam
 
     - name: System dependencies (macOS)
-      if: startsWith(matrix.os, 'macOS')
+      if: startsWith(matrix.os, 'macos')
       run: |
         brew install --force --overwrite gpatch gmp z3 pkg-config opam
 
     - name: Restore cached opam
       id: cache-opam-restore
-      uses: actions/cache/restore@v3
+      uses: actions/cache/restore@v4
       with:
         path: ~/.opam
         key: ${{ matrix.os }}-${{ matrix.version }}
@@ -45,7 +45,7 @@ jobs:
     - name: Save cached opam
       if: steps.cache-opam-restore.outputs.cache-hit != 'true'
       id: cache-opam-save
-      uses: actions/cache/save@v3
+      uses: actions/cache/save@v4
       with:
         path: ~/.opam
         key: ${{ steps.cache-opam-restore.outputs.cache-primary-key }}