2023-10-23 23:06:24 +02:00
|
|
|
name: Publish docs
|
|
|
|
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- master
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
build:
|
|
|
|
name: Build
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
steps:
|
|
|
|
- name: Checkout code
|
|
|
|
uses: actions/checkout@v3
|
2023-10-25 23:04:54 +02:00
|
|
|
|
|
|
|
- uses: pnpm/action-setup@v2
|
|
|
|
with:
|
|
|
|
version: 8
|
|
|
|
|
2023-10-23 23:06:24 +02:00
|
|
|
- name: Install Node.js
|
|
|
|
uses: actions/setup-node@v3
|
|
|
|
with:
|
|
|
|
node-version: 18
|
|
|
|
|
|
|
|
- name: Install packages
|
|
|
|
working-directory: ./.docs
|
|
|
|
run: npm install
|
|
|
|
|
|
|
|
- name: Build project
|
|
|
|
working-directory: ./.docs
|
|
|
|
run: npm run generate
|
|
|
|
|
|
|
|
- name: Upload production-ready build files
|
|
|
|
uses: actions/upload-pages-artifact@v1
|
|
|
|
with:
|
|
|
|
path: ./.docs/.output/public
|
|
|
|
|
|
|
|
deploy:
|
|
|
|
name: Deploy
|
|
|
|
needs: build
|
|
|
|
permissions:
|
|
|
|
pages: write
|
|
|
|
id-token: write
|
|
|
|
environment:
|
|
|
|
name: docs
|
|
|
|
url: ${{ steps.deployment.outputs.page_url }}
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Deploy to GitHub Pages
|
|
|
|
id: deployment
|
|
|
|
uses: actions/deploy-pages@v2
|