Merge branch '495-dev-job-progress-fix-mark-started' into 'dev'

Resolve "[Server slowness] With the dev branch on the dev instance, we're experiencing a real slowness" (JobInfo changes)

See merge request !429
4 jobs for dev in 65 minutes and 14 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Cabal
passed #19484
cabal

00:25:31

 
  Stack
passed #19485
stack

00:03:32

 
  Bench
manual #19486
allowed to fail manual
bench
 
  Test
passed #19487
test

00:36:10