Skip to content

pages build and deployment #696

Sign in to view logs

pages build and deployment

pages build and deployment #696

Triggered via dynamic October 1, 2023 03:18
@seL4-ciseL4-ci
⁠ eb3dc22
gh-pages
Status Success
Total duration 56s
Artifacts –

pages-build-deployment

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