Skip to content

pages build and deployment #1148

Sign in to view logs

pages build and deployment

pages build and deployment #1148

Triggered via dynamic November 14, 2024 03:17
@seL4-ciseL4-ci
⁠ 0113d72
gh-pages
Status Success
Total duration 41s
Artifacts –

pages-build-deployment

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