Build #10 (Nov 30, 2023, 11:12:06 PM)

1. Try cleaning tmp at start of CI (details / githubweb)
2. Fix get_num_threads for tasking mode (thanks madsen) (details / githubweb)

Pull request #1038 updated at 11:11:51 PM on Nov 30, 2023

This run spent:

• 5 hr 43 min waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.

• PR-1038