Merge branch '444-dev-temporary-file-storage' into 'dev'

Resolve "Implement temporary file storage"

See merge request !392
4 jobs for dev in 43 minutes and 51 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Cabal
passed #17832
cabal

00:19:50

 
  Stack
passed #17833
stack

00:02:43

 
  Bench
manual #17834
allowed to fail manual
bench
 
  Test
passed #17835
test

00:21:17