Skip to content
Back to pull request #18065

Update indentation.md #24335

Sign in to view logs

Update indentation.md

Update indentation.md #24335

Triggered via push June 26, 2023 14:19
@SporarumSporarum
pushed 28d207d
Sporarum-patch-1
Status Success
Total duration 3h 36m 19s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yaml

on: push
test_non_bootstrapped
32m 24s
test_non_bootstrapped
test
1h 21m
test
MiMa
5m 10s
MiMa
community_build_a
53m 24s
community_build_a
community_build_b
1h 17m
community_build_b
community_build_c
1h 18m
community_build_c
test_sbt
24m 53s
test_sbt
test_java8
0s
test_java8
test_windows_full
52m 26s
test_windows_full
test_windows_fast
23m 31s
test_windows_fast
publish_nightly
0s
publish_nightly
publish_release
0s
publish_release
nightly_documentation
0s
nightly_documentation
nightly_unmanaged_community_build
0s
nightly_unmanaged_community_build
open_issue_on_failure
0s
open_issue_on_failure
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
test_windows_fast
Unable to clean or reset the repository. The repository will be recreated instead.
test_windows_full
Unable to clean or reset the repository. The repository will be recreated instead.