Skip to content

Merge branch 'master' of https://github.com/OFFIS-DAI/mango into msgs… #17

Merge branch 'master' of https://github.com/OFFIS-DAI/mango into msgs…

Merge branch 'master' of https://github.com/OFFIS-DAI/mango into msgs… #17

Triggered via push December 1, 2023 09:51
Status Failure
Total duration 1m 10s
Artifacts

test-mango.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

10 errors
build
Event loop is closed
build
Event loop is closed
build
Event loop is closed
build
Event loop is closed
build
Event loop is closed
build
Event loop is closed
build
Event loop is closed
build
Event loop is closed
build
Event loop is closed
build
Event loop is closed