diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1f8d6f4a..01759eca 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -44,7 +44,7 @@ jobs: - name: cmake run: mkdir cbuild; cd cbuild; cmake .. - name: make - run: cd build; make + run: cd cbuild; make # This requires too much disk space (more than 40 GB), so it is disabled for now: