Deploy docs to GitHub Pages

Update examples #683

Sign in to view logs

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

Triggered via push November 15, 2025 17:29

mdmintz

master

Status Success

Total duration 42s

Artifacts 1

pages.yml

on: push

Artifacts

Produced during runtime

Name	Size	Digest
github-pages Expired	1.42 MB	`sha256:b9f15231f8269d1cd5508ec8d20c2f9fd1933dca0666a4f8aa1a71a5f3781e58`