Skip to content

Github: Update job name #3

Github: Update job name

Github: Update job name #3

Workflow file for this run

name: Deploy to GitHub Pages
on:
push:
branches:
- master
permissions:
contents: write
jobs:
deploy:
name: Deploy to GitHub Pages
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Install nix
uses: cachix/install-nix-action@v24
with:
github_access_token: ${{ secrets.GITHUB_TOKEN }}
- name: Build website
run: |
nix develop .#deploy --command bash -c "trunk build --release"
- name: Fix links
run: sh fix-links.sh
- name: Deploy to GitHub pages
uses: JamesIves/github-pages-deploy-action@v4
with:
branch: pages # The branch the action should deploy to.
folder: dist # The folder the action should deploy.
clean: true # Automatically remove deleted files from the deployment branch.