Scaladoc - add option for dynamic side menu #27954
Triggered via pull request
December 27, 2023 09:55
Florian3k
Status
Success
Total duration
1h 13m 8s
Artifacts
–
ci.yaml
on: pull_request
test_non_bootstrapped
0s
test
1h 0m
MiMa
10m 36s
community_build_a
53m 3s
community_build_b
1h 12m
community_build_c
58m 34s
test_sbt
16m 55s
test_java8
0s
test_windows_full
0s
test_scala2_library_tasty
0s
test_windows_fast
11m 47s
publish_release
0s
open_issue_on_failure
0s
Annotations
1 warning
|
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.
|