Deploy docs to GitHub Pages

Update examples #613

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push August 14, 2025 03:57

mdmintz

master

Status Success

Total duration 43s

Artifacts 1

pages.yml

on: push

Artifacts

Produced during runtime

Name	Size	Digest
github-pages Expired	1.4 MB	`sha256:48aea98e193a2c74be81dec5f7204bd1f7bee52e886897db637f1e6d268143e2`