Skip to content

Update versions to the latest #45

Update versions to the latest

Update versions to the latest #45

Workflow file for this run

name: Publish documentation
on:
push:
branches:
- main
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write
jobs:
publish-website:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Setup Java (temurin@11)
uses: actions/setup-java@v3
with:
distribution: temurin
java-version: 11
cache: sbt
- name: Build documentation
run: sbt docs/mdoc
- name: Setup Node.js
uses: actions/setup-node@v3
with:
node-version: 16.x
cache: yarn
cache-dependency-path: 'website/'
- name: Install docusaurus dependencies
run: cd website && yarn install --frozen-lockfile --non-interactive
- name: Build documentation website
run: cd website && yarn build && mv build ../build
- name: Setup Pages
uses: actions/configure-pages@v3
- name: Upload artifact
uses: actions/upload-pages-artifact@v1
with:
path: build
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2