Build #13 (Mar 16, 2022, 1:51:48 PM)

1. Add PRODUCT_FILE parameter to jenkins file (details)
2. Fix bad substitution in jenkins file (details)

1. server: switch to compiler warning for use of deprecated APIs (details)

Started by user Bernd Hufmann

This run spent:

• 0.15 sec waiting;
• 22 min build duration;
• 22 min total from scheduled to completion.

• refs/remotes/origin/master

• 2020-06