Skip to content

fix(patmat): Add subtype-based fallback in inferPrefixMap and recalculate constraints after application #37223

fix(patmat): Add subtype-based fallback in inferPrefixMap and recalculate constraints after application

fix(patmat): Add subtype-based fallback in inferPrefixMap and recalculate constraints after application #37223

Triggered via pull request September 10, 2025 00:19
Status Cancelled
Total duration 3m 10s
Artifacts

ci.yaml

on: pull_request
build-sdk-package  /  build
3m 3s
build-sdk-package / build
build-msi-package  /  build
build-msi-package / build
test_non_bootstrapped
0s
test_non_bootstrapped
test
0s
test
MiMa
2m 53s
MiMa
community_build_a
0s
community_build_a
community_build_b
0s
community_build_b
community_build_c
2m 53s
community_build_c
test_sbt
0s
test_sbt
test_java8
0s
test_java8
test_windows_fast
0s
test_windows_fast
test_windows_full
0s
test_windows_full
build-chocolatey-package  /  build
build-chocolatey-package / build
test-msi-package  /  test
test-msi-package / test
publish_release
0s
publish_release
test-chocolatey-package  /  test
test-chocolatey-package / test
Fit to window
Zoom out
Zoom in

Annotations

11 errors
MiMa
Canceling since a higher priority waiting request for Dotty-refs/pull/23771/merge exists
test
Canceling since a higher priority waiting request for Dotty-refs/pull/23771/merge exists
test_windows_fast
Canceling since a higher priority waiting request for Dotty-refs/pull/23771/merge exists
community_build_a
Canceling since a higher priority waiting request for Dotty-refs/pull/23771/merge exists
test_sbt
Canceling since a higher priority waiting request for Dotty-refs/pull/23771/merge exists
community_build_c
Canceling since a higher priority waiting request for Dotty-refs/pull/23771/merge exists
community_build_b
Canceling since a higher priority waiting request for Dotty-refs/pull/23771/merge exists
Dotty
Canceling since a higher priority waiting request for Dotty-refs/pull/23771/merge exists
Dotty
Canceling since a higher priority waiting request for Dotty-refs/pull/23771/merge exists
build-sdk-package / build
The operation was canceled.
build-sdk-package / build
Canceling since a higher priority waiting request for Dotty-refs/pull/23771/merge exists