diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 45bb75c2..2917d234 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -64,7 +64,7 @@ jobs: analyze-coverity: name: Analyze Coverity - runs-on: macos-latest + runs-on: macos-13 env: JOB_TYPE: COVERITY if: github.repository_owner == 'acidanthera' && github.event_name != 'pull_request'