diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index 36674aec7..51b47eb4a 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -21,6 +21,8 @@ jobs: os: - ubuntu-latest - macos-latest + # intel macos + - macos-13 ocaml-compiler: - 4.14.2