Skip to content
Update GitHub Pages

Merge branch '1.0.0-rc1' of github.com:emmo-repo/EMMO into 1.0.0-rc1 #118

Sign in to view logs

Merge branch '1.0.0-rc1' of github.com:emmo-repo/EMMO into 1.0.0-rc1

Merge branch '1.0.0-rc1' of github.com:emmo-repo/EMMO into 1.0.0-rc1 #118

Triggered via push August 8, 2024 22:29
@jesper-friisjesper-friis
pushed b58f152
1.0.0-rc1
Status Success
Total duration 2m 18s
Artifacts –

cd_update_pages.yml

on: push
build
2m 11s
build
Fit to window
Zoom out
Zoom in