Skip to content

pages build and deployment #1131

Sign in to view logs

pages build and deployment

pages build and deployment #1131

Triggered via dynamic October 28, 2024 03:19
@seL4-ciseL4-ci
⁠ 64efc0b
gh-pages
Status Success
Total duration 5m 27s
Artifacts –

pages-build-deployment

on: dynamic
build
5m 9s
build
report-build-status
4s
report-build-status
deploy
8s
deploy
Fit to window
Zoom out
Zoom in