Widen skolem types when adding parent refinements #34157
Triggered via pull request
January 31, 2025 09:49
KacperFKorban
Status
Success
Total duration
2h 17m 25s
Artifacts
7
ci.yaml
on: pull_request
test_non_bootstrapped
0s
test
55m 47s
MiMa
11m 17s
community_build_a
56m 15s
community_build_b
1h 20m
community_build_c
1h 5m
test_sbt
19m 19s
test_java8
0s
build-sdk-package
/
build
7m 59s
build-msi-package
/
build
test_windows_full
0s
test_scala2_library_tasty
0s
test_windows_fast
56m 42s
Matrix: publish_nightly
test-msi-package
/
test
publish_release
0s
test-chocolatey-package
/
test
open_issue_on_failure
0s
Annotations
1 warning
|
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
scala.nupkg
|
3.44 KB |
|
|
scala3-aarch64-apple-darwin
|
70.8 MB |
|
|
scala3-aarch64-pc-linux
|
71.4 MB |
|
|
scala3-universal
|
143 MB |
|
|
scala3-x86_64-apple-darwin
|
69.4 MB |
|
|
scala3-x86_64-pc-linux
|
71.1 MB |
|
|
scala3-x86_64-pc-win32
|
69.6 MB |
|