pages build and deployment #691

Sign in to view logs

Triggered via dynamic September 26, 2023 03:20

seL4-ci

gh-pages

Status Success

Total duration 1m 12s

Artifacts –

pages-build-deployment

on: dynamic

report-build-status