Skip to content

Refactor selection of Myers' bitparallel edit distance algorithm. (#3… #54

Refactor selection of Myers' bitparallel edit distance algorithm. (#3…

Refactor selection of Myers' bitparallel edit distance algorithm. (#3… #54

# SPDX-FileCopyrightText: 2006-2024 Knut Reinert & Freie Universität Berlin
# SPDX-FileCopyrightText: 2016-2024 Knut Reinert & MPI für molekulare Genetik
# SPDX-License-Identifier: CC0-1.0
name: Deploy documentation (https://docs.seqan.de/)
on:
push:
branches:
- 'main'
# 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/action-rsyncer@v2.0.0
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/action-rsyncer@v2.0.0
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'