CI: Upload doc

.github/workflows/build.yml

@@ -26,4 +26,18 @@ jobs:
         run: |
           sudo apt install -y texlive-latex-recommended texlive-fonts-recommended texlive-latex-extra
           make html -C doc
+      - name: Upload
+        if: ${{ github.ref == 'refs/heads/master' }}
+        run: |
+          git clone --depth 1 https://${{ secrets.GH_TOKEN }}@github.com/openturns/openturns.github.io.git /tmp/io
+          mkdir -p /tmp/io/sphinx/otbenchmark/master
+          cp -r doc/_build/html/* /tmp/io/sphinx/otbenchmark/master
+          cd /tmp/io
+          touch .nojekyll
+          git config user.email "[email protected]"
+          git config user.name "GitHub Actions"
+          git add -A .
+          if test `git diff HEAD | wc -c` -eq 0; then exit 0; fi
+          git commit -a -m "GitHub Actions build ${GITHUB_REPOSITORY} ${GITHUB_RUN_ID}"
+          git push --quiet origin master > /dev/null 2>&1