Skip to content

Copy the source file even when it exists, if it is newer than the exi… #49

Copy the source file even when it exists, if it is newer than the exi…

Copy the source file even when it exists, if it is newer than the exi… #49

Triggered via push May 20, 2026 10:33
Status Success
Total duration 30s
Artifacts 1

docsgen.yml

on: push
generate-docs
25s
generate-docs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
94.8 KB
sha256:657de69868973a47a2a4a01054c19141bc12339be97d7de265465b4b94b4cc8b