Skip to content

Merge branch '1.0.0-rc1' of https://github.com/emmo-repo/EMMO into 1.… #7

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

Merge branch '1.0.0-rc1' of https://github.com/emmo-repo/EMMO into 1.… #7

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

Annotations

1 error
build
Process completed with exit code 1.