Skip to content

Print full package names, even if they're TermRefs #662

Print full package names, even if they're TermRefs

Print full package names, even if they're TermRefs #662

Triggered via push June 3, 2023 16:08
Status Failure
Total duration 1d 6h 19m 17s
Artifacts

ci.yaml

on: push
test_non_bootstrapped
0s
test_non_bootstrapped
test
0s
test
MiMa
0s
MiMa
community_build_a
0s
community_build_a
community_build_b
0s
community_build_b
community_build_c
0s
community_build_c
test_sbt
0s
test_sbt
test_java8
0s
test_java8
test_windows_full
0s
test_windows_full
test_windows_fast
0s
test_windows_fast
publish_nightly
0s
publish_nightly
publish_release
0s
publish_release
nightly_documentation
0s
nightly_documentation
open_issue_on_failure
0s
open_issue_on_failure
Fit to window
Zoom out
Zoom in

Annotations

9 errors
community_build_b
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
community_build_c
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
community_build_a
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
MiMa
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
test_non_bootstrapped
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
test
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
test_windows_full
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
test_sbt
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
test_windows_fast
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.