Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
71 changes: 71 additions & 0 deletions .github/workflows/deploy-site.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,71 @@
name: Deploy site to GitHub Pages

# Assembles a single GitHub Pages site combining:
# - the static landing page in `docs/` (existing dbg homepage)
# - the Slidev deck in `demo/slides/`, built into `<site>/slides/`
#
# Both served from https://theodo-group.github.io/debug-that/ — landing at
# `/`, slides at `/slides/`. Requires Pages source = "GitHub Actions" in
# repo settings (Settings → Pages → Source: GitHub Actions). The previous
# legacy setup (Source: Branch `main` / `/docs`) must be switched over once;
# after that, this workflow owns every deploy.

on:
push:
branches: [main]
paths:
- "docs/**"
- "demo/slides/**"
- ".github/workflows/deploy-site.yml"
# Manual trigger — useful for the first deploy after flipping the Pages source.
workflow_dispatch:

# One deploy at a time; latest push wins.
concurrency:
group: pages
cancel-in-progress: true

permissions:
contents: read
pages: write
id-token: write

jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4

- uses: oven-sh/setup-bun@v2
with:
bun-version: latest

- name: Install slides dependencies
working-directory: demo/slides
run: bun install --frozen-lockfile

- name: Assemble site (docs landing + slides)
run: |
mkdir -p _site
# Copy existing static landing page as-is.
cp -R docs/. _site/
# Build Slidev into _site/slides. The --base path matches where
# it'll be served (Pages serves this repo's site under /debug-that/).
cd demo/slides
bunx slidev build --base /debug-that/slides/ --out "$GITHUB_WORKSPACE/_site/slides"

- uses: actions/configure-pages@v5

- uses: actions/upload-pages-artifact@v3
with:
path: _site

deploy:
needs: build
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deploy.outputs.page_url }}
steps:
- id: deploy
uses: actions/deploy-pages@v4
8 changes: 8 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -49,3 +49,11 @@ src/dap/adapters/java/adapter-sources.tar.gz
demo/**/recording.cast
demo/**/__hotpatch_tmp/
docs/java-hotpatch.gif

# Demo build output / local tooling
demo/**/target/
demo/**/.agents/
demo/**/.claude/

# Large demo video — hosted on GitHub Releases (demo-assets-v1) instead
demo/slides/public/demo-java.mp4
Loading
Loading