Skip to content
Update GitHub Pages

Merge branch 'main' of github.com:emmo-repo/domain-characterisation-m… #12

Sign in to view logs

Merge branch 'main' of github.com:emmo-repo/domain-characterisation-m…

Merge branch 'main' of github.com:emmo-repo/domain-characterisation-m… #12

Triggered via push November 7, 2024 20:19
@jesper-friisjesper-friis
pushed 378f3f5
main
Status Success
Total duration 1m 18s
Artifacts –

cd_update_pages.yml

on: push
deploy
1m 8s
deploy
Fit to window
Zoom out
Zoom in