Back to full workflow

Github actions have problems right now

.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/[email protected]
-      #   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/[email protected]
+        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 }}