diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 8267f3de1b0..e795a9e7ad9 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -31,7 +31,7 @@ jobs: run: | # Reuse built SAGE_LOCAL contained in the Docker image ./bootstrap - ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv --enable-editable + ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv --enable-editable --enable-download-from-upstream-url # Install test tools apt-get install -y git ./sage -python -m pip install coverage diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index 1b501600e67..32cab1e0ffb 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -23,7 +23,7 @@ jobs: run: | # Reuse built SAGE_LOCAL contained in the Docker image ./bootstrap - ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv + ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv --enable-download-from-upstream-url - name: Build run: make doc-html