fix CI

4 jobs for misc-fixes in 2 minutes and 24 seconds (queued for 2 seconds)