Skip to content
Dotty

Fix duplicate word in comments (#20359) #30377

Sign in to view logs

Fix duplicate word in comments (#20359)

Fix duplicate word in comments (#20359) #30377

Triggered via push May 10, 2024 14:39
@hamzaremmalhamzaremmal
pushed 7f0d225
main
Status Success
Total duration 2h 24m 6s
Artifacts –

ci.yaml

on: push
test_non_bootstrapped
18m 34s
test_non_bootstrapped
test
49m 27s
test
MiMa
10m 14s
MiMa
community_build_a
37m 33s
community_build_a
community_build_b
1h 35m
community_build_b
community_build_c
43m 53s
community_build_c
test_sbt
20m 20s
test_sbt
test_java8
0s
test_java8
test_windows_full
56m 39s
test_windows_full
test_scala2_library_tasty
0s
test_scala2_library_tasty
test_windows_fast
0s
test_windows_fast
Matrix: 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.