Skip to content
Check redirections

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

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 #271

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

ci_redirectioncheck.yml

on: push
build
49s
build
Fit to window
Zoom out
Zoom in