Skip to content

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

Merge branch '1.0.0-beta5' of github.com:emmo-repo/EMMO into 1.0.0-beta5

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

Triggered via push November 5, 2023 20:39
Status Failure
Total duration 1d 0h 47m 45s
Artifacts

ci_emmocheck.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build (3.7)
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
Check conventions
The ubuntu-18.04 environment is deprecated, consider switching to ubuntu-20.04(ubuntu-latest), or ubuntu-22.04 instead. For more details see https://github.com/actions/virtual-environments/issues/6002