Skip to content

Update release workflow #7

Update release workflow

Update release workflow #7

Triggered via push May 18, 2026 13:52
Status Success
Total duration 12m 11s
Artifacts 1

docs.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
manual.pdf Expired
187 KB
sha256:6355073031cc705866d4d0da9963ca1a1d5517d1f370b293d2804a20ddeb66fa