development.yaml

name: Development
on:
  pull_request:
  push:
    branches:
      - main
jobs:
  build-docs:
    runs-on: ubuntu-latest
    env:
      DOCKER_CLIENT_TIMEOUT: "120"
      COMPOSE_HTTP_TIMEOUT: "120"
    steps:
      - uses: actions/checkout@v2
      - name: Compile docs static artifacts
        run: |
          docker-compose -f docker-compose-mkdocs-build.yaml up --exit-code-from app --build
      - name: Add docs static artifacts
        uses: actions/upload-artifact@v2
        with:
          name: docs-static-datajoint-elements
          path: site
          retention-days: 1
  publish-docs:
    if: github.event_name == 'push'
    needs: build-docs
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
      - name: Fetch docs static artifacts
        uses: actions/download-artifact@v2
        with:
          name: docs-static-datajoint-elements
          path: gh-pages/site
      - name: Commit documentation changes
        run: |
          git clone https://github.com/${GITHUB_REPOSITORY}.git \
              --branch gh-pages --single-branch gh-pages-branch
          rm -R gh-pages-branch/*
          cp -r gh-pages/site/* gh-pages-branch/
          touch gh-pages-branch/.nojekyll
          echo "elements.datajoint.org" > gh-pages-branch/CNAME
          cd gh-pages-branch
          git config --local user.email "action@github.com"
          git config --local user.name "GitHub Action"
          git add . --all
          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/github-push-action@master
        with:
          branch: gh-pages
          directory: gh-pages-branch
          github_token: ${{secrets.GITHUB_TOKEN}}