disable benchmarks in CI builds by default

Author: tstenner

.github/workflows/cppcmake.yml

@@ -18,6 +18,10 @@ on:
         description: 'Extra CMake options'
         required: false
         default: ''
+      benchmarks:
+        description: 'enable benchmarks (tests currently flakey)'
+        required: false
+        default: 'OFF'
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
@@ -61,7 +65,7 @@ jobs:
                 -DCMAKE_BUILD_TYPE=Release \
                 -DCMAKE_INSTALL_PREFIX=${PWD}/install \
                 -DLSL_UNITTESTS=ON \
-                -DLSL_BENCHMARKS=ON \
+                -DLSL_BENCHMARKS=${{ github.event.inputs.benchmarks }} \
                 -DLSL_BUILD_EXAMPLES=ON \
                 -DCPACK_PACKAGE_DIRECTORY=${PWD}/package \
                 -Dlslgitrevision=${{ github.sha }} \