Skip to content
Build and Deploy Docs to GitHub Pages

update publications (and makefile/script slightly) (#493) #167

Sign in to view logs

update publications (and makefile/script slightly) (#493)

update publications (and makefile/script slightly) (#493) #167

Triggered via push December 12, 2023 20:13
@glass-shipsglass-ships
pushed 251a46f
main
Status Success
Total duration 1m 1s
Artifacts –

deploy-documentation.yaml

on: push
build-docs
53s
build-docs
Fit to window
Zoom out
Zoom in