Skip to content

Update Javascript packages (non-major) #595

Update Javascript packages (non-major)

Update Javascript packages (non-major) #595

Workflow file for this run

name: Build and Deploy Website
on:
merge_group:
push:
branches: [master]
pull_request:
branches: [master]
jobs:
build:
name: Build website
runs-on: ubuntu-24.04
steps:
- name: Set CARGO_TARGET_DIR
run: echo "CARGO_TARGET_DIR=$HOME/target" >> $GITHUB_ENV
- name: Install build tools
run: sudo apt-get update && sudo apt-get install build-essential libelf-dev zip -y
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Checkout latest released version's book
run: git restore --source $(git describe --tags --abbrev=0) book
- name: Cache
uses: actions/cache@v4
with:
path: |
website/agb/node_modules
website/agb/.next/cache
~/.cargo/registry
~/.cargo/git
~/target
key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}--npm--${{ hashFiles('**/package-lock.json') }}
- uses: extractions/setup-just@v2
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v2
with:
mdbook-version: "0.4.13"
- name: Setup wasm
run: just setup-cargo-wasm
- name: Build website
run: just podman_command=docker build-site
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: "website/build"
deploy:
name: Deploy website
if: github.event_name == 'push'
# Add a dependency to the build job
needs: build
# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
permissions:
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
# Deploy to the github-pages environment
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
# Specify runner + deployment step
runs-on: ubuntu-latest
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4