Fixes for mutability #37965
Triggered via pull request
October 20, 2025 10:37
odersky
Status
Cancelled
Total duration
4m 27s
Artifacts
–
ci.yaml
on: pull_request
build-sdk-package
/
build
4m 9s
build-msi-package
/
build
test
4m 0s
community_build_a
4m 4s
community_build_b
4m 5s
community_build_c
4m 4s
test_windows_fast
3m 59s
test_windows_full
0s
test-msi-package
/
test
publish_release
0s
test-chocolatey-package
/
test
Annotations
14 errors and 1 warning
|
test_windows_fast
Canceling since a higher priority waiting request for Dotty-refs/pull/24205/merge exists
|
|
test_windows_fast
The operation was canceled.
|
|
test
Canceling since a higher priority waiting request for Dotty-refs/pull/24205/merge exists
|
|
test
The operation was canceled.
|
|
community_build_a
Canceling since a higher priority waiting request for Dotty-refs/pull/24205/merge exists
|
|
community_build_a
The operation was canceled.
|
|
community_build_c
Canceling since a higher priority waiting request for Dotty-refs/pull/24205/merge exists
|
|
community_build_c
The operation was canceled.
|
|
community_build_b
Canceling since a higher priority waiting request for Dotty-refs/pull/24205/merge exists
|
|
community_build_b
The operation was canceled.
|
|
build-sdk-package / build
Canceling since a higher priority waiting request for Dotty-refs/pull/24205/merge exists
|
|
build-sdk-package / build
The operation was canceled.
|
|
Dotty
Canceling since a higher priority waiting request for Dotty-refs/pull/24205/merge exists
|
|
Dotty
Canceling since a higher priority waiting request for Dotty-refs/pull/24205/merge exists
|
|
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.
|