diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 831f4df56c..3413a2a1d4 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -240,11 +240,11 @@ jobs: pool: ubuntu-latest - jobname: osx-clang cc: clang - pool: macos-latest + pool: macos-12 - jobname: osx-gcc cc: gcc cc_package: gcc-9 - pool: macos-latest + pool: macos-12 - jobname: linux-gcc-default cc: gcc pool: ubuntu-latest |