Skip to content

Try to build github pages #2

Try to build github pages

Try to build github pages #2

Workflow file for this run

name: Web
# Trigger the workflow on push or pull request, but only for the main branch
on:
pull_request:
paths:
- "app/**"
- "asmh.cabal"
- "cabal.project"
- "Setup.hs"
- "src/**"
- "test/**"
- "web/**"
push:
paths:
- "app/**"
- "asmh.cabal"
- "cabal.project"
- "Setup.hs"
- "src/**"
- "test/**"
- "web/**"
workflow_dispatch:
jobs:
build:
name: "Build website"
outputs:
matrix: ${{ steps.set-matrix.outputs.matrix }}
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- uses: nixbuild/nix-quick-install-action@v29
- uses: DeterminateSystems/magic-nix-cache-action@main
- name: Build site
run: |
nix develop -c "bash -c 'cd web && ./build.sh && ls dist/ && exit 0'"
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: './web/dist/'
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4