Skip to content

pages build and deployment #1105

Sign in to view logs

pages build and deployment

pages build and deployment #1105

Triggered via dynamic October 3, 2024 03:17
@seL4-ciseL4-ci
⁠ d1ae7f7
gh-pages
Status Success
Total duration 38s
Artifacts –

pages-build-deployment

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