Build #8 (May 10, 2024, 6:57:31 PM)

1. Copy to host where necessary and fix copy_to_host (details / githubweb)

Pull request #282 updated at 6:57:18 PM on May 10, 2024

This run spent:

• 5.8 sec waiting;
• 6 min 44 sec build duration;
• 6 min 50 sec total from scheduled to completion.

• PR-282

Superseded by #9