This repository was archived by the owner on Sep 12, 2026. It is now read-only.

Repository navigation

Build and deploy via GitHub Actions - #1

Merged

zyansheep merged 3 commits into

mainfrom

ci/github-actions-deploy

Jul 27, 2026

Merged

Build and deploy via GitHub Actions#1
zyansheep merged 3 commits into
mainfrom
ci/github-actions-deploy

Commits on Jul 27, 2026
- Build and deploy via GitHub Actions
  
  zyansheep
  and
  claude
  committed
  33aa2f1
- Build on PRs too, deploy only from main
  
  zyansheep
  and
  claude
  committed
  63555a1
- Drop mdbook's copy of dither-spec git metadata and stale build dir
  
  zyansheep
  and
  claude
  committed
  e312552