Build & Deploy to GitHub Pages

Issue #741: Fix errant filename. #475

Sign in to view logs

Summary
Jobs
- github-pages
Run details
- Usage
- Workflow file

Triggered via push July 3, 2025 17:14

geerlingguy

master

Status Success

Total duration 2m 3s

Artifacts –

github-pages.yml

on: push