Skip to content

pages build and deployment #1018

Sign in to view logs

pages build and deployment

pages build and deployment #1018

Triggered via dynamic July 12, 2024 03:15
@seL4-ciseL4-ci
⁠ 8c45457
gh-pages
Status Success
Total duration 51s
Artifacts –

pages-build-deployment

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