Skip to content

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

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

Triggered via push March 22, 2024 17:06
Status Failure
Total duration 1m 57s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.