Skip to content
Dotty

Avoid duplications of properties in pom.xml (#20020) #29523

Sign in to view logs

Avoid duplications of properties in pom.xml (#20020)

Avoid duplications of properties in pom.xml (#20020) #29523

Triggered via push March 26, 2024 15:48
@KordyjanKordyjan
pushed 301c977
main
Status Success
Total duration 2h 6m 0s
Artifacts –

ci.yaml

on: push
test_non_bootstrapped
16m 36s
test_non_bootstrapped
test
50m 38s
test
MiMa
11m 19s
MiMa
community_build_a
1h 2m
community_build_a
community_build_b
57m 13s
community_build_b
community_build_c
1h 7m
community_build_c
test_sbt
13m 11s
test_sbt
test_java8
0s
test_java8
test_windows_full
58m 39s
test_windows_full
test_scala2_library_tasty
0s
test_scala2_library_tasty
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.