pages build and deployment #1024

Sign in to view logs

Triggered via dynamic July 18, 2024 03:16

seL4-ci

gh-pages

Status Success

Total duration 49s

Artifacts –

pages-build-deployment

on: dynamic

report-build-status