update nav links to match gnata-sqlite style #48
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deploy to GitHub Pages | |
| on: | |
| push: | |
| branches: [master] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| env: | |
| GITHUB_PAGES: true | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: pnpm/action-setup@v4 | |
| - uses: actions/setup-node@v4 | |
| with: | |
| node-version: 22 | |
| cache: pnpm | |
| - run: pnpm install --frozen-lockfile | |
| # Sync large examples (cloudflare spec) | |
| - run: bash scripts/sync-examples.sh | |
| # Build spac core + from-openapi (website + playground depend on them) | |
| - run: pnpm --filter @spec-spac/spac build | |
| - run: pnpm --filter @spec-spac/from-openapi build | |
| # Build website (Next.js static export) | |
| - run: pnpm --filter website build | |
| # Build playground (Vite) | |
| - run: pnpm --filter spac-playground generate | |
| - run: pnpm --filter spac-playground build | |
| env: | |
| GITHUB_PAGES: true | |
| # Assemble combined site | |
| - name: Assemble _site | |
| run: | | |
| mkdir -p _site | |
| cp -r packages/website/out/* _site/ | |
| mkdir -p _site/playground | |
| cp -r packages/playground/dist/* _site/playground/ | |
| # SPA fallback — use the playground's index.html as 404 page. | |
| # This gives crawlers the OG meta tags, and browsers get the SPA | |
| # which reads the example from the URL path client-side. | |
| cp _site/playground/index.html _site/404.html | |
| - uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: _site | |
| deploy: | |
| needs: build | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - id: deployment | |
| uses: actions/deploy-pages@v4 |