Skip to content

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

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

Triggered via push June 6, 2024 12:39
Status Success
Total duration 1m 5s
Artifacts
Fit to window
Zoom out
Zoom in