#797 (Jan 10, 2023, 12:08:30 PM)

1. try compile before doc (details / githubweb)
2. replace the target flag (details / githubweb)

Started by an SCM change

This run spent:

• 9 min 29 sec waiting;
• 19 min build duration;
• 28 min total from scheduled to completion.

• origin/master