Merge branch 'dev' into '388-remove-obsolete-ghc-option'

# Conflicts:
#   bin/update-project-dependencies
4 jobs for 388-remove-obsolete-ghc-option in 26 minutes and 24 seconds (queued for 51 minutes and 39 seconds)
latest
Status Job ID Name Coverage
  Cabal
failed #14881
cabal

00:26:24

 
  Stack
skipped #14882
stack
 
  Bench
skipped #14883
allowed to fail manual
bench
 
  Test
skipped #14884
test
 
Name Stage Failure
failed
cabal Cabal
+ actual_cabal_project_freeze_hash=af825192f1ec47b07e6001dd2556b59991c9e6c50094dc732ee933a41f0dc9bd
+ [[ 3943da8b9f3ae918afadf2b302875b3b395b31b2f69c3d42135af2ac800b7a0c != 967fee2ed28f46b12a629ad9821301854d3159975b7297653e50d7fc1f3b8919 ]]
+ echo -e '\e[31mERROR! hash mismatch between expected cabal.project and the one computed by cabal2stack.\e[0m'
+ echo -e '\e[33mPlease update the hashes inside the '\''./bin/update-project-dependencies'\'' file.\e[0m'
+ exit 1
ERROR! hash mismatch between expected cabal.project and the one computed by cabal2stack.
Please update the hashes inside the './bin/update-project-dependencies' file.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1