Skip to content

Further WIP on terms/definitions #35

Further WIP on terms/definitions

Further WIP on terms/definitions #35

Workflow file for this run

name: Docs Deploy
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout Repository
uses: actions/checkout@v2
- name: Setup Node.js
uses: actions/setup-node@v2
with:
node-version: 16
- name: Install Dependencies
run: npm install
- name: Build and Deploy
run: |
npx docusaurus build --out-dir build
touch build/.nojekyll
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.PEACEIRIS_TOKEN }}
publish_dir: ./build