Skip to content
Dotty

Patch x: _* into x* (not x *) (#18814) #26359

Sign in to view logs

Patch x: _* into x* (not x *) (#18814)

Patch x: _* into x* (not x *) (#18814) #26359

Triggered via push November 2, 2023 12:27
@nicolasstuckinicolasstucki
pushed bb82d4c
main
Status Success
Total duration 1h 22m 42s
Artifacts –

ci.yaml

on: push
test_non_bootstrapped
33m 45s
test_non_bootstrapped
test
1h 20m
test
MiMa
14m 12s
MiMa
community_build_a
58m 35s
community_build_a
community_build_b
1h 20m
community_build_b
community_build_c
1h 22m
community_build_c
test_sbt
22m 18s
test_sbt
test_java8
0s
test_java8
test_windows_full
59m 28s
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 warning
test_windows_full
Unable to clean or reset the repository. The repository will be recreated instead.