Minor tweaks to the CI pipeline

5 jobs for dev in 1 minute and 37 seconds (queued for 34 seconds)
Status Name Job ID Coverage
  Lint
passed lint #133493

00:00:36

 
  Build
passed build #133494

00:00:33

 
  Deploy
passed deploy-dev #136253

00:00:27

passed deploy-dev #136252

00:00:28

passed deploy-dev #133495

00:00:28