#1920 (Jun 13, 2024, 1:10:00 AM)

1. jobs/coverity: adjust mount path to new home dir (details)

Started by timer

This run spent:

• 6 ms waiting;
• 6.3 sec build duration;
• 6.3 sec total from scheduled to completion.

• origin/master