Build #5 (Nov 1, 2022 5:38:55 AM)

1. Remove unneeded missing mappings (details / githubweb)
2. Class renames for 1.18 (details / githubweb)
3. Remove now unneeded dummy elements in the mantle colored block (details / githubweb)

Push event to branch 1.18 at 5:38:41 AM on Nov 1, 2022

This run spent:

• 8.3 sec waiting;
• 29 sec build duration;
• 37 sec total from scheduled to completion.

• 1.18