diff --git a/.github/workflows/static-builds.yml b/.github/workflows/static-builds.yml index d580046d..a5200840 100644 --- a/.github/workflows/static-builds.yml +++ b/.github/workflows/static-builds.yml @@ -72,7 +72,7 @@ jobs: static-bin-macos: name: Builds static Macos binaries if: ${{ github.event_name != 'schedule' || github.repository == 'ocaml-sf/learn-ocaml' }} - runs-on: macos-latest + runs-on: macos-13 env: OPAMYES: 1 OPAMDEPEXTYES: 1