matrices-lists1: commandment rendering #103
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: [push] | |
| jobs: | |
| build_docs_job: | |
| if: (github.repository == 'DavidLeoni/softpython-it') && ((github.ref == 'refs/heads/master') || (github.ref == 'refs/heads/dev') || (github.ref == 'refs/heads/themed')) | |
| runs-on: ubuntu-20.04 | |
| env: | |
| SOURCE_BRANCH: ${{ github.head_ref || github.ref_name }} | |
| WEB_BRANCH: it.softpython.org | |
| name: Build docs | |
| steps: | |
| - name: Install deps | |
| run: | | |
| sudo apt-get install tree | |
| - name: sets environment | |
| run: | | |
| echo "GIT_TAG=${GITHUB_REF##*/}" >> $GITHUB_ENV | |
| echo "VERSION=${GITHUB_REF##*/}" >> $GITHUB_ENV | |
| echo "LANGUAGE=en" >> $GITHUB_ENV | |
| - name: apply docs version renaming | |
| if: env.GIT_TAG == 'master' | |
| run: echo "VERSION=latest" >> $GITHUB_ENV | |
| - name: sets WEB_PATH | |
| run: echo "WEB_PATH=." >> $GITHUB_ENV | |
| - name: Run Sphinx in RTD docker | |
| uses: DavidLeoni/[email protected] | |
| with: | |
| RTD_PRJ_NAME: softpython-it | |
| GIT_URL: https://github.com/${{ github.repository }}.git | |
| GIT_TAG: ${{ env.GIT_TAG }} | |
| VERSION: ${{ env.VERSION }} | |
| REQUIREMENTS: requirements-build.txt | |
| LANGUAGE: ${{ env.LANGUAGE }} | |
| RTD_HTML_SINGLE: false | |
| RTD_HTML_EXT: false | |
| GOOGLE_ANALYTICS: ${{ secrets.GOOGLE_ANALYTICS }} | |
| - name: Show workspace output | |
| run: | | |
| tree -aC $GITHUB_WORKSPACE | |
| - name: Commit documentation changes | |
| run: | | |
| git clone --depth 1 --single-branch --branch ${WEB_BRANCH} https://github.com/${{ github.repository }}.git ${WEB_BRANCH} | |
| cd ${WEB_BRANCH} | |
| if [ -d "${{ env.WEB_PATH }}" ] | |
| then | |
| git rm -r * ${{ env.WEB_PATH }} | |
| fi | |
| mkdir -p ${{ env.WEB_PATH }} | |
| cp -r $GITHUB_WORKSPACE/html/* ${{ env.WEB_PATH }} | |
| if compgen -G "$GITHUB_WORKSPACE/latex/*.pdf" > /dev/null; then | |
| cp -r $GITHUB_WORKSPACE/latex/*.pdf ${{ env.WEB_PATH }} | |
| else | |
| echo "ERROR: NO PDF FILES WHERE GENERATED!" | |
| fi | |
| if compgen -G "$GITHUB_WORKSPACE/epub/*.epub" > /dev/null; then | |
| cp -r $GITHUB_WORKSPACE/epub/*.epub ${{ env.WEB_PATH }} | |
| else | |
| echo "ERROR: NO EPUB FILES WHERE GENERATED!" | |
| fi | |
| # note: html zip is already provided by Github | |
| git config --local user.email "[email protected]" | |
| git config --local user.name "GitHub Action" | |
| git add . | |
| touch .nojekyll | |
| git add .nojekyll # explicit, otherwise is ignored | |
| git commit -m "Update documentation" -a || true | |
| # The above command will fail if no changes were present, so we ignore | |
| # the return code. | |
| - name: Push changes | |
| uses: ad-m/[email protected] | |
| with: | |
| branch: ${{ env.WEB_BRANCH }} | |
| directory: ${{ env.WEB_BRANCH }} | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| - name: update server | |
| run: | | |
| # Custom deploy, you don't need this | |
| if [ ! -z "${{ secrets.DAVAPI_URL }}" ]; then | |
| curl --silent --digest --user ${{ secrets.DAVAPI_CREDENTIALS}} ${{ secrets.DAVAPI_URL }} | |
| fi |