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 #9146
build-clang

00:02:10

passed #9145
build-gcc

00:02:26