#120 (Sep 22, 2023, 11:18:16 AM)

1. #1703 fixed wrongly emptied out search index on policy retrieval error due to internal timeouts (details / githubweb)
2. provide a new function to join placeholder array pipeline elements into a single string (details / githubweb)
3. update to Swagger-UI 5.7.2 (details / githubweb)

Started by user Thomas Jaeckle

This run spent:

• 20 sec waiting;
• 3 min 49 sec build duration;
• 4 min 9 sec total from scheduled to completion.

• refs/remotes/origin/master