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

4 jobs for 495-dev-job-progress-fix-mark-started in 54 minutes and 26 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #19410
cabal

00:24:21

 
  Stack
passed #19411
stack

00:03:30

 
  Bench
manual #19412
allowed to fail manual
bench
 
  Test
passed #19413
test

00:26:34