Skip to content

http3: document graceful shutdown #263

http3: document graceful shutdown

http3: document graceful shutdown #263

Workflow file for this run

name: Deploy
on:
push:
branches:
- master
pull_request:
jobs:
deploy:
runs-on: ubuntu-latest
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v4
- name: Setup Hugo
uses: peaceiris/actions-hugo@v3
with:
hugo-version: '0.123.0'
extended: true
- name: Build
run: hugo --minify -d build
- name: Push build results to separate branch # purely for debuggability
if: ${{ github.event_name == 'push' }}
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./build
publish_branch: build
- name: Copy linkchecker skipfile
run: cp .github/workflows/linkcheck-skipfile.txt .lycheeignore
- name: Link Checker
id: lychee
uses: lycheeverse/lychee-action@7cd0af4c74a61395d455af97419279d86aafaede # v2.0.2
with:
args: ./build
fail: true
- uses: burnett01/rsync-deployments@796cf0d5e4b535745ce49d7429f77cf39e25ef39 # v7.0.1
if: ${{ github.event_name == 'push' }}
with:
switches: -avzr --delete
path: ./build/
remote_path: / # rrsync configuration points this to the correct path
remote_host: ${{ secrets.DEPLOY_HOST }}
remote_port: ${{ secrets.DEPLOY_PORT }}
remote_user: ${{ secrets.DEPLOY_USER }}
remote_key: ${{ secrets.DEPLOY_KEY }}