Skip to content

Fix branch name

Fix branch name #4

Workflow file for this run

name: Deploy Docusaurus to GitHub Pages
on:
push:
branches:
- master
workflow_dispatch:
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Set up Node.js
uses: actions/setup-node@v4
with:
node-version: '18'
- name: Install dependencies
run: |
cd docs-site
npm ci
- name: Sync scenario docs with source code
run: |
cd docs-site
npm run sync:scenarios
- name: Build Docusaurus site
run: |
cd docs-site
npm run build
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs-site/build