Fix CI

Signed-off-by: Adrian C. Hinrichs <adrian.hinrichs@rwth-aachen.de>
3 jobs for dev in 5 minutes and 6 seconds (queued for 1 minute and 45 seconds)
latest
Status Job ID Name Coverage
  Build
passed #541645
pontifexemacsimus-dind
build testing

00:02:31

failed #541597
pontifexemacsimus-dind
build testing

00:00:59

 
  Deploy
passed #541598
deploy

00:02:34