Skip to content

Merge branch 'containers:main' into main #23

Merge branch 'containers:main' into main

Merge branch 'containers:main' into main #23

Workflow file for this run

name: 📓 Deploy the documentation
on:
push:
branches:
- main
jobs:
changes:
runs-on: ubuntu-20.04
timeout-minutes: 15
outputs:
dirs: ${{ steps.filter.outputs.changes }}
steps:
- uses: actions/checkout@v4
- uses: dorny/paths-filter@v2
id: filter
with:
filters: |
docs: docs/**
deploy:
needs: [changes]
if: ${{ !contains(needs.changes.outputs.dirs, '[]') }}
runs-on: ubuntu-20.04
timeout-minutes: 15
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v4
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: "latest"
- name: Build mdbook
working-directory: ./docs
run: mdbook build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/book