Deploy to GitHub Pages

Migrate GitHub Pages deployment from CircleCI to GitHub Actions #1

Sign in to view logs

Re-run triggered February 16, 2026 14:11

bbatsov

master

Status Success

Total duration 15s

Artifacts 1

deploy.yml

on: push