message: add GINKGO_MIXED_PRECISION to OSX CI
diff: @@ -15,8 +15,8 @@ jobs:
  fail-fast: false
  matrix:
  config:
  - - {shared: "ON", build_type: "Debug", name: "omp/debug/shared"}
  - - {shared: "OFF", build_type: "Release", name: "omp/release/static"}
  + - {shared: "ON", build_type: "Debug", name: "omp/debug/shared", "mixed": "OFF"}
  + - {shared: "OFF", build_type: "Release", name: "omp/release/static", "mixed": "ON"}
  name: ${{ matrix.config.name }}
  runs-on: [macos-latest]
  @@ -40,7 +40,7 @@ jobs:
  run: |
  mkdir build
  cd build
  - cmake .. -DBUILD_SHARED_LIBS=${{ matrix.config.shared }} -DCMAKE_BUILD_TYPE=${{ matrix.config.build_type }}
  + cmake .. -DBUILD_SHARED_LIBS=${{ matrix.config.shared }} -DCMAKE_BUILD_TYPE=${{ matrix.config.build_type }} -DGINKGO_MIXED_PRECISION=${{ matrix.config.mixed }}
  make -j8
  ctest -j10 --output-on-failure
  