Merge branch '428-dev-worker-fixes' into 'dev'

[worker] various fixes

See merge request !389
4 jobs for dev in 64 minutes and 28 seconds (queued for 5 minutes and 51 seconds)
Status Job ID Name Coverage
  Cabal
passed #17438
cabal

00:25:56

 
  Stack
passed #17439
stack

00:07:41

 
  Bench
manual #17440
allowed to fail manual
bench
 
  Test
passed #17441
test

00:30:49