Skip to content

fix: improve workflow in GitHub Actions #4

fix: improve workflow in GitHub Actions

fix: improve workflow in GitHub Actions #4

Workflow file for this run

name: Build and Deploy Docs
on:
push:
branches: [main] # deploy docs only when pushing to main
workflow_dispatch: # allow manual trigger
jobs:
docs:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Build Docker image
run: docker build -t annodocs-builder -f docs/Dockerfile .
- name: Extract built docs
run: |
docker create --name extract annodocs-builder
docker cp extract:/app/dist ./dist
docker rm -f extract
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./dist