diff options
| author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-18 20:17:15 +0100 |
|---|---|---|
| committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-18 20:17:15 +0100 |
| commit | 2356e368809f5e6e5d26ae627ad7997d6c1415d8 (patch) | |
| tree | e76378c7fb32d9fad1ba9d10202926959fd5cd3f /.github | |
| parent | 8dbf159ca6b6e6b1a3fd6cfeacae32a30d7c1dd6 (diff) | |
GitHub Actions: Add comment regarding CMake version
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 3aff7eaf07..918b0f0f01 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -52,6 +52,8 @@ jobs: - name: Set up cmake uses: jwlawson/actions-setup-cmake@v1.4 with: + # This should always match the mininum required version in + # our CMakeLists.txt cmake-version: '3.13.x' - name: Create build directory run: mkdir cmake_build |