Skip to content

pages build and deployment #1021

Sign in to view logs

pages build and deployment

pages build and deployment #1021

Triggered via dynamic July 15, 2024 03:15
@seL4-ciseL4-ci
⁠ 69d0f5f
gh-pages
Status Success
Total duration 41s
Artifacts –

pages-build-deployment

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