Skip to content

Freeze constraints while calculating GADT full bounds #723

Freeze constraints while calculating GADT full bounds

Freeze constraints while calculating GADT full bounds #723

Triggered via push July 17, 2023 08:16
Status Failure
Total duration 1d 1h 22m 44s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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_a
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
community_build_b
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.
community_build_c
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_non_bootstrapped
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.
test_windows_full
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.