diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 655d2536..5b1b830e 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -4,46 +4,32 @@ on: push: branches: [ main ] +permissions: + contents: read + pages: write + id-token: write + +concurrency: + group: "pages" + cancel-in-progress: false + jobs: - build: + deploy: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 - - - name: Cache emodb - uses: actions/cache@v3 - with: - path: ~/audb - key: emodb-1.4.1 - - - name: Set up Python 3.8 - uses: actions/setup-python@v4 - with: - python-version: 3.8 - - - name: Setup audb config - run: | - cp misc/audb.yaml ~/.audb.yaml - - # Build the HTML pages - # - # Currently disabled, - # as this requires access to auglib. - # Instead we have commited the build dir directly. - # - #- name: Install package - # run: | - # python -m pip install --upgrade pip - # pip install -r docs/requirements.txt - # - #- name: Build HTML pages - # run: | - # python -m sphinx docs/ build/html -b html -W -D katex_prerender=True - - - name: Deploy documentation to Github pages - uses: peaceiris/actions-gh-pages@v3 + - name: Checkout + uses: actions/checkout@v3 + - name: Setup Pages + uses: actions/configure-pages@v3 + - name: Upload artifact + uses: actions/upload-pages-artifact@v2 with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./docs/build + path: './build/html' + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v2