probably final tweaks

2 jobs for develop in 4 minutes and 36 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed build-clang #9146

00:02:10

passed build-gcc #9145

00:02:26