1name: Deploy numbl project to GitHub Pages
3# Bundles this numbl project with the browser IDE and publishes it to GitHub
4# Pages on every push to main.
5#
6# One-time setup: Settings → Pages → "Build and deployment" → Source →
7# "GitHub Actions".
9on:
10 push:
11 branches: [main]
12 workflow_dispatch:
14permissions:
15 contents: read
16 pages: write
17 id-token: write
19concurrency:
20 group: pages
21 cancel-in-progress: false
23jobs:
24 build:
25 runs-on: ubuntu-latest
26 steps:
27 - uses: actions/checkout@v6
28 - uses: flatironinstitute/numbl/.github/actions/build-site@main
29 with:
30 project-dir: .
31 # Build numbl from the main branch (development version) rather than
32 # the published npm release — these examples need recent fixes
33 # (complex eig, trace, parfor, box, legend).
34 numbl-ref: main
36 deploy:
37 needs: build
38 runs-on: ubuntu-latest
39 environment:
40 name: github-pages
41 url: ${{ steps.deployment.outputs.page_url }}
42 steps:
43 - id: deployment
44 uses: actions/deploy-pages@v5