Skip to content
Dotty

Fix type mismatch in script (#18896) #26608

Sign in to view logs

Fix type mismatch in script (#18896)

Fix type mismatch in script (#18896) #26608

Triggered via push November 10, 2023 14:36
@KordyjanKordyjan
pushed b6b53b5
main
Status Success
Total duration 4h 27m 35s
Artifacts –

ci.yaml

on: push
test_non_bootstrapped
44m 10s
test_non_bootstrapped
test
1h 1m
test
MiMa
15m 9s
MiMa
community_build_a
58m 0s
community_build_a
community_build_b
1h 36m
community_build_b
community_build_c
1h 18m
community_build_c
test_sbt
21m 31s
test_sbt
test_java8
0s
test_java8
test_windows_full
1h 0m
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.