Skip to content
Dotty

Merge linting phases #26300

Sign in to view logs

Merge linting phases

Merge linting phases #26300

Triggered via push October 31, 2023 12:17
@szymon-rdszymon-rd
pushed 2d182de
merge-linting-phases
Status Failure
Total duration 1h 41m 45s
Artifacts –

ci.yaml

on: push
test_non_bootstrapped
47m 42s
test_non_bootstrapped
test
1h 7m
test
MiMa
15m 33s
MiMa
community_build_a
1h 9m
community_build_a
community_build_b
1h 41m
community_build_b
community_build_c
1h 14m
community_build_c
test_sbt
18m 21s
test_sbt
test_java8
0s
test_java8
test_windows_full
1h 3m
test_windows_full
test_windows_fast
20m 48s
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
community_build_c
Process completed with exit code 1.
test_windows_full
Unable to clean or reset the repository. The repository will be recreated instead.