Skip to content

Remove stale .gitignore entries for moved directories #23

Remove stale .gitignore entries for moved directories

Remove stale .gitignore entries for moved directories #23

Triggered via push March 2, 2026 11:53
Status Success
Total duration 1m 53s
Artifacts 1

docs.yml

on: push
Deploy to GitHub Pages
11s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.64 MB
sha256:ea585361b87b94736fbc59ce685c4947c42ef87908312e86fff7d2d5b54a15a6