Skip to content

Merge pull request #1 from dietervansteenwegen/main #22

Merge pull request #1 from dietervansteenwegen/main

Merge pull request #1 from dietervansteenwegen/main #22

Triggered via push October 12, 2025 10:01
Status Success
Total duration 30s
Artifacts 1

deploy-docs.yml

on: push
build-and-deploy
25s
build-and-deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.33 MB
sha256:70c20a99dedf400e29140494a9ed8bec41c6cce68d080cc47519d8ce66dc6bfd