Skip to content

Widen skolem types when adding parent refinements #34156

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #34156

Triggered via push January 31, 2025 09:49
Status Success
Total duration 1h 48m 18s
Artifacts 7

ci.yaml

on: push
Matrix: publish_nightly
build-chocolatey-package  /  build
18s
build-chocolatey-package / build
test-msi-package  /  test
test-msi-package / test
publish_release
0s
publish_release
nightly_documentation
0s
nightly_documentation
test-chocolatey-package  /  test
test-chocolatey-package / test
open_issue_on_failure
0s
open_issue_on_failure
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.
test_windows_full
Unable to clean or reset the repository. The repository will be recreated instead.

Artifacts

Produced during runtime
Name Size Digest
scala.nupkg Expired
3.44 KB
sha256:aee11f39e1e4fc0dd089aef9dc87c57169b9360a601396e0dba26a886890d5be
scala3-aarch64-apple-darwin Expired
70.7 MB
sha256:3f77c15cf51e704a60dacfafa970752729ac1a9069053769e009c1809cf5ad3b
scala3-aarch64-pc-linux Expired
71.3 MB
sha256:974f69e1fced4fbe00033268ff35c60c20ee69a9522dc43e5ac6c37302578dc2
scala3-universal Expired
143 MB
sha256:179c975fc7060cba0f494a0f18e59c6d3ee2476383a74faf4420ceb67b4bb320
scala3-x86_64-apple-darwin Expired
69.3 MB
sha256:e42f5f0b698328d0899ea0f526cca7ca3903981d7289c540425e29ea1bcd8c8f
scala3-x86_64-pc-linux Expired
71 MB
sha256:c6b4a3bf17bc89600c4f5e547eb41b8ada198548106c6e3257ef05aa4a912550
scala3-x86_64-pc-win32 Expired
69.5 MB
sha256:3f0bec0d33dd19fa086d72050a6f94a9b47839b87b2282a518d8a6498fbb1460