CI: Push benchmark results of ad-hoc benchmarks to dedicated JSON

This commit modifies the manually triggered benchmarking workflow
`bench_ec2_any.yml` to push the benchmarking results in a special
file `adhoc_bench.json`.

Signed-off-by: Hanno Becker <[email protected]>

.github/workflows/bench_ec2_any.yml

@@ -59,4 +59,5 @@ jobs:
       bench_extra_args: ${{ inputs.bench_extra_args }}
       compiler: ${{ inputs.compiler }}
       additional_packages: ${{ inputs.additional_packages }}
+      json_filename: adhoc_bench.json
     secrets: inherit

.github/workflows/bench_ec2_reusable.yml

@@ -41,6 +41,10 @@ on:
         type: boolean
         description: Indicates if results should be pushed to github pages
         default: false
+      json_filename:
+        description: Name of JSON file to put benchmark resuits into
+        required: false
+        default: "output.json"
       verbose:
         description: Determine for the log verbosity
         type: boolean
@@ -150,6 +154,7 @@ jobs:
           nix-cache: false
           nix-verbose: ${{ inputs.verbose }}
           name: ${{ inputs.name }} (${{ inputs.compiler }})
+          json_filename: ${{ inputs.json_filename }}
           cflags: ${{ inputs.cflags }}
           archflags: ${{ inputs.archflags }}
           opt: ${{ inputs.opt }}