diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 29fd79c9f48..be7c599c16e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -22,7 +22,7 @@ jobs: run: | # Reuse built SAGE_LOCAL contained in the Docker image ./bootstrap - ./configure --enable-build-as-root --prefix=/sage/local + ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv - name: Build run: make build