Merge #4474

4474: Enable benchmark builds in GitHub Actions by default using `benchmarks: True` r=jorisdral a=jorisdral

# Description

The Consensus Mempool benchmark is the only benchmark executable currently on the main branch, but benchmark builds are disabled by default by cabal. As such, our GitHub Actions workflow also does not build benchmark executables. This PR enables benchmark building in GitHub Actions by default, by adding `benchmarks: True` in the relevant `cabal.project.local` file. 



Co-authored-by: Joris Dral <joris@well-typed.com>

.github/workflows/cabal.project.local.Windows

@@ -2,6 +2,7 @@ max-backjumps: 5000
 reorder-goals: True
 ignore-project: False
 tests: True
+benchmarks: True
 
 program-options
   ghc-options: -Werror

cabal.project

@@ -49,6 +49,7 @@ packages: ./cardano-ping
           ./cardano-client
 
 tests: True
+benchmarks: True
 
 package cardano-ping
   flags: +asserts