diff --git a/.github/workflows/fieldapi_tests.yml b/.github/workflows/fieldapi_tests.yml index f0927e2..9369767 100644 --- a/.github/workflows/fieldapi_tests.yml +++ b/.github/workflows/fieldapi_tests.yml @@ -15,6 +15,7 @@ jobs: matrix: # Customize the CMake build type here (Release, Debug, RelWithDebInfo, etc.) build_type: [RelWithDebInfo] + precision: ['SINGLE', 'DOUBLE'] steps: - uses: actions/checkout@v3 @@ -56,7 +57,7 @@ jobs: fiat_ROOT: ${{github.workspace}}/fiat/build # Configure CMake in a 'build' subdirectory. `CMAKE_BUILD_TYPE` is only required if you are using a single-configuration generator such as make. # See https://cmake.org/cmake/help/latest/variable/CMAKE_BUILD_TYPE.html?highlight=cmake_build_type - run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{matrix.build_type}} -DENABLE_ACC=OFF + run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{matrix.build_type}} -DENABLE_ACC=OFF -DENABLE_${{matrix.precision}}_PRECISION=ON - name: Build field_api # Build your program