diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index c43b59bf6..c60776b0a 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -14,7 +14,7 @@ stages:
     displayName: "Mac Build"
     timeoutInMinutes: 90
     pool:
-      vmImage: "macOS-13"
+      vmImage: "macOS-latest"
     steps:
     - task: PythonScript@0
       displayName: Build
@@ -43,7 +43,7 @@ stages:
   - job: MacBuildArm64
     displayName: "Mac ARM64 Build"
     pool:
-      vmImage: "macOS-13"
+      vmImage: "macOS-latest"
     steps:
     - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64
     - script: git clone https://github.com/z3prover/z3test z3test