Skip to content
.github/workflows/publish-dev.yml

Update gh-pages before mike run, cont'd #15

Sign in to view logs

Update gh-pages before mike run, cont'd

Update gh-pages before mike run, cont'd #15

Triggered via push August 9, 2023 10:14
@rdicosmordicosmo
pushed 3234ae0
main
Status Success
Total duration 44s
Artifacts –

publish-dev.yml

on: push
Build current
35s
Build current
Fit to window
Zoom out
Zoom in