Deploy docs

Remove `src-html` directories during deployment. #3

Sign in to view logs

Re-run triggered January 2, 2026 21:45

cpovirk

gh-pages

Status Success

Total duration 1m 36s

Artifacts 1

docs.yml

on: push

Build GitHub Pages site

Deploy to GitHub Pages