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 — needed until expm ships in a release.
33 numbl-ref: main
35 deploy:
36 needs: build
37 runs-on: ubuntu-latest
38 environment:
39 name: github-pages
40 url: ${{ steps.deployment.outputs.page_url }}
41 steps:
42 - id: deployment
43 uses: actions/deploy-pages@v5