Merge branch 'dev' into testing

4 jobs for testing in 4 minutes and 32 seconds (queued for 1 minute and 11 seconds)
Status Job ID Name Coverage
  Cabal
failed #13133
cabal

00:04:32

 
  Stack
skipped #13134
stack
 
  Bench
skipped #13135
allowed to fail manual
bench
 
  Test
skipped #13136
test
 
Name Stage Failure
failed
cabal Cabal
Removing dist-newstyle/src/isidore-71d5222f8c8a74ed
Removing dist-newstyle/src/arxiv-api-88197eff315f1785
Removing dist-newstyle/src/servant-j_-e37e84f0b0eaf080.cache
Removing dist-newstyle/cache
Removing dist-newstyle/tmp
Removing dist-newstyle/build
Removing dist-newstyle/packagedb
Cleaning up file based variables
ERROR: Job failed: exit code 1