Skip to content

Widen skolem types when adding parent refinements #34164

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #34164

Triggered via pull request January 31, 2025 13:29
Status Success
Total duration 5h 4m 5s
Artifacts 7

ci.yaml

on: pull_request
Matrix: publish_nightly
build-chocolatey-package  /  build
17s
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

1 warning
test_windows_fast
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:24009bfa627c4f369649ebfeb6296d98a23f22c6ee978a559202800c869af0d9
scala3-aarch64-apple-darwin Expired
70.8 MB
sha256:4216b2df5d394996d656cae6f9764ef65d23bd91461a4e56b529119c5565f908
scala3-aarch64-pc-linux Expired
71.4 MB
sha256:019131b985dbf340cc59f10506f571dfcf5ca1b66a0d731e273e6f0e96c94b47
scala3-universal Expired
143 MB
sha256:044658bb208049cedf7a7b7ba0507931523f0ba0c7cf16644d14eaee012a22e1
scala3-x86_64-apple-darwin Expired
69.4 MB
sha256:7551d10a118869a9615ae71572e0c11fcdb0ee5b3e4c8d653dde3c26ad4b94ae
scala3-x86_64-pc-linux Expired
71.1 MB
sha256:b2a1a020f27ea7b7f08d820a25fc969b308e317e889cfde8ff4c95e31f06abfb
scala3-x86_64-pc-win32 Expired
69.6 MB
sha256:42db09b72ab65911bc5afd99000f18385ddfe2a8e6acba7a6f6299fdadddf4bb