Skip to content

Merge branch 'master' into docs #13

Merge branch 'master' into docs

Merge branch 'master' into docs #13

Triggered via push September 13, 2024 11:06
Status Cancelled
Total duration 11m 4s
Artifacts 1
Fit to window
Zoom out
Zoom in

Annotations

1 error
Deploy
The run was canceled by @xfhg.

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.56 MB
sha256:72205ec4c8b7b060cd9f297efd9db0887d01885875a7ac86af0f787d9fa590e5