diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/unit_tests.yaml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/unit_tests.yaml b/.github/workflows/unit_tests.yaml index 26df165093..fa53ecd5bc 100644 --- a/.github/workflows/unit_tests.yaml +++ b/.github/workflows/unit_tests.yaml @@ -186,9 +186,10 @@ jobs: flags: unittests,linux,clingo # Run unit tests on MacOS macos: - runs-on: macos-latest + runs-on: ${{ matrix.os }} strategy: matrix: + os: [macos-latest, macos-14] python-version: ["3.11"] steps: - uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633 # @v2 |