Skip to content
Dotty

Update _ wildcard type to ? in library (#18811) #26322

Sign in to view logs

Update _ wildcard type to ? in library (#18811)

Update _ wildcard type to ? in library (#18811) #26322

Triggered via push November 1, 2023 09:07
@nicolasstuckinicolasstucki
pushed 1e95432
main
Status Failure
Total duration 2h 40m 8s
Artifacts –

ci.yaml

on: push
test_non_bootstrapped
34m 36s
test_non_bootstrapped
test
1h 2m
test
MiMa
14m 45s
MiMa
community_build_a
1h 9m
community_build_a
community_build_b
1h 28m
community_build_b
community_build_c
1h 14m
community_build_c
test_sbt
19m 17s
test_sbt
test_java8
0s
test_java8
test_windows_full
47m 15s
test_windows_full
test_windows_fast
0s
test_windows_fast
publish_nightly
0s
publish_nightly
publish_release
0s
publish_release
nightly_documentation
0s
nightly_documentation
open_issue_on_failure
0s
open_issue_on_failure
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
test_windows_full
Process completed with exit code 1.
test_windows_full
Unable to clean or reset the repository. The repository will be recreated instead.