Skip to content
Deploy Documentation to GitHub Pages

merging in latest changes #6

Sign in to view logs

merging in latest changes

merging in latest changes #6

Triggered via push October 1, 2025 05:39
@bookman-diusbookman-dius
pushed d010aab
formatting-changes
Status Success
Total duration 40s
Artifacts 1

deploy-docs.yml

on: push
build
22s
build
deploy
10s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
7.38 MB
sha256:01ac365a4bef4e0d49085e33b25de71a75eda21492630ce5aa11359c79727802