Build #2 (Sep 12, 2023, 6:47:35 PM)

1. Remove all non-color settings from dark jdt css (details / githubweb)

Pull request #763 updated at 6:47:22 PM on Sep 12, 2023

This run spent:

• 17 sec waiting;
• 2 min 32 sec build duration;
• 2 min 39 sec total from scheduled to completion.

• PR-763