Skip to content
Deploy Documentation to Github Pages

re-use super linter script (#1847) #872

Sign in to view logs

re-use super linter script (#1847)

re-use super linter script (#1847) #872

Triggered via push February 5, 2026 16:58
@zeitlingerzeitlinger
pushed 42c1fb3
main
Status Success
Total duration 4m 8s
Artifacts 1

github-pages.yaml

on: push
build
3m 49s
build
deploy
11s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
6.3 MB
sha256:50a20e0aace0d5d8f6e2967db78f55261a2f5c79b59f8c94674a8c93b5c19ca0