diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index f94338125..d5ec7f210 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -178,7 +178,7 @@ jobs: -DLIBIGL_BUILD_TUTORIALS=${{ matrix.tutorials }} ^ -DLIBIGL_WITH_CGAL=ON ^ -DLIBIGL_WITH_COMISO=OFF ^ - -DCMAKE_JOB_POOLS=pool-linking=1;pool-compilation=2 ^ + -DCMAKE_JOB_POOLS=pool-linking=1;pool-compilation=1 ^ -DCMAKE_JOB_POOL_COMPILE:STRING=pool-compilation ^ -DCMAKE_JOB_POOL_LINK:STRING=pool-linking ^ -B build ^