Merge pull request #3226 from eseiler/infra/update_doc_deploy #2
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
| name: Deploy documentation (https://docs.seqan.de/) | |
| on: | |
| push: | |
| branches: | |
| - master | |
| # Enables a manual trigger, may run on any branch | |
| workflow_dispatch: | |
| concurrency: | |
| group: docs-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: false | |
| env: | |
| TZ: Europe/Berlin | |
| defaults: | |
| run: | |
| shell: bash -Eexuo pipefail {0} | |
| jobs: | |
| deploy_documentation: | |
| name: Deploy Documentation | |
| runs-on: ubuntu-22.04 | |
| timeout-minutes: 30 | |
| if: github.repository_owner == 'seqan' || github.event_name == 'workflow_dispatch' | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Install CMake | |
| uses: seqan/actions/setup-cmake@main | |
| with: | |
| cmake: 3.16.9 | |
| - name: Install Doxygen | |
| uses: seqan/actions/setup-doxygen@main | |
| with: | |
| doxygen: 1.9.8 | |
| - name: Load cached documentation | |
| uses: actions/cache@v4 | |
| with: | |
| path: doc-build | |
| key: ${{ runner.os }}-documentation-1.9.8 | |
| - name: Build documentation | |
| run: | | |
| mkdir -p doc-build | |
| cd doc-build | |
| cmake ../test/documentation | |
| make -j2 download-cppreference-doxygen-web-tag | |
| ctest . -j2 --output-on-failure | |
| - name: Deploy User Documentation | |
| uses: Pendect/[email protected] | |
| env: | |
| DEPLOY_KEY: ${{ secrets.DEPLOY_HOST_SSH_KEY }} | |
| REMOTE_HOST: ${{ secrets.DEPLOY_HOST }} | |
| REMOTE_USER: ${{ secrets.REMOTE_USER }} | |
| TARGET: ${{ secrets.REMOTE_TARGET }} | |
| with: | |
| flags: '-zr --delete --timeout=60 --omit-dir-times' | |
| src: 'doc-build/doc_usr/html/' | |
| dest: '$REMOTE_USER@$REMOTE_HOST:$TARGET/main_user' | |
| - name: Deploy Developer Documentation | |
| uses: Pendect/[email protected] | |
| env: | |
| DEPLOY_KEY: ${{ secrets.DEPLOY_HOST_SSH_KEY }} | |
| REMOTE_HOST: ${{ secrets.DEPLOY_HOST }} | |
| REMOTE_USER: ${{ secrets.REMOTE_USER }} | |
| TARGET: ${{ secrets.REMOTE_TARGET }} | |
| with: | |
| flags: '-zr --delete --timeout=60 --omit-dir-times' | |
| src: 'doc-build/doc_dev/html/' | |
| dest: '$REMOTE_USER@$REMOTE_HOST:$TARGET/main_dev' |