diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index dddeb34e32a..a56b057ba05 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -13,31 +13,31 @@ concurrency: jobs: build-docs: runs-on: ubuntu-latest - # container: ghcr.io/sagemath/sage/sage-docker-ubuntu-focal-standard-with-targets:9.5 + container: ghcr.io/sagemath/sage/sage-docker-ubuntu-focal-standard-with-targets:9.5 steps: - name: Checkout uses: actions/checkout@v2 - # - name: Prepare - # run: | - # # Reuse built SAGE_LOCAL contained in the Docker image - # ./bootstrap - # ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv + - name: Prepare + run: | + # Reuse built SAGE_LOCAL contained in the Docker image + ./bootstrap + ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv - # - name: Build - # run: make doc-html - # env: - # MAKE: make -j2 - # SAGE_NUM_THREADS: 2 + - name: Build + run: make doc-html + env: + MAKE: make -j2 + SAGE_NUM_THREADS: 2 - # - name: Deploy to Netlify - # uses: nwtgck/actions-netlify@v1.2 - # with: - # publish-dir: './local/share/doc/sage/html/en' - # production-branch: master - # github-token: ${{ secrets.GITHUB_TOKEN }} - # enable-pull-request-comment: false # We don't have github pull-requests - # alias: ${{ github.ref_name }} - # env: - # NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }} - # NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }} + - name: Deploy to Netlify + uses: nwtgck/actions-netlify@v1.2 + with: + publish-dir: './local/share/doc/sage/html/en' + production-branch: master + github-token: ${{ secrets.GITHUB_TOKEN }} + enable-pull-request-comment: false # We don't have github pull-requests + alias: ${{ github.ref_name }} + env: + NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }} + NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }}