2023-09-07 19:45:10 +02:00
|
|
|
name: Deploy to GitHub Pages
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches:
|
|
|
|
|
- main
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
deploy:
|
|
|
|
|
name: Deploy to GitHub Pages
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
permissions:
|
|
|
|
|
contents: write
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v3
|
|
|
|
|
- uses: actions/setup-node@v3
|
|
|
|
|
with:
|
|
|
|
|
node-version: 18
|
|
|
|
|
cache: yarn
|
|
|
|
|
|
|
|
|
|
- name: Install deps for archives and rendered graphs
|
|
|
|
|
run: |
|
|
|
|
|
sudo apt install make graphviz
|
|
|
|
|
make assets
|
|
|
|
|
|
|
|
|
|
- name: Install dependencies
|
|
|
|
|
run: yarn install --frozen-lockfile
|
|
|
|
|
- name: Build website
|
2023-09-07 20:09:24 +02:00
|
|
|
run: yarn run build
|
2023-09-07 19:45:10 +02:00
|
|
|
|
|
|
|
|
# Popular action to deploy to GitHub Pages:
|
|
|
|
|
# Docs: https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-docusaurus
|
|
|
|
|
- name: Deploy to GitHub Pages
|
|
|
|
|
uses: peaceiris/actions-gh-pages@v3
|
|
|
|
|
with:
|
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
# Build output to publish to the `gh-pages` branch:
|
|
|
|
|
publish_dir: ./build
|
|
|
|
|
# The following lines assign commit authorship to the official
|
|
|
|
|
# GH-Actions bot for deploys to `gh-pages` branch:
|
|
|
|
|
# https://github.com/actions/checkout/issues/13#issuecomment-724415212
|
|
|
|
|
# The GH actions bot is used by default if you didn't specify the two fields.
|
|
|
|
|
# You can swap them out with your own user credentials.
|
|
|
|
|
user_name: github-actions[bot]
|
|
|
|
|
user_email: 41898282+github-actions[bot]@users.noreply.github.com
|
