Build #56 (Dec 14, 2023, 8:52:06 AM)

1. Remove platforms that don't have installation doc (#95) (details / githubweb)

Started by an SCM change

This run spent:

• 4 min 41 sec waiting;
• 8 min 55 sec build duration;
• 9 min 1 sec total from scheduled to completion.

• main