From 840a127e3a74c3520a27c0b19eb1d3d9a7255b07 Mon Sep 17 00:00:00 2001 From: Jeremy Leibs Date: Tue, 25 Apr 2023 15:43:53 +0200 Subject: [PATCH] New manual workflow for running benches --- .github/workflows/manual_run_bench.yml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 .github/workflows/manual_run_bench.yml diff --git a/.github/workflows/manual_run_bench.yml b/.github/workflows/manual_run_bench.yml new file mode 100644 index 000000000000..f490bd34f88b --- /dev/null +++ b/.github/workflows/manual_run_bench.yml @@ -0,0 +1,14 @@ +name: Manually run the benchmarks + +on: + workflow_dispatch: + +jobs: + + run-benchmarks: + runs-on: ubuntu-latest + steps: + - name: Check if commit belongs to a PR + run: | + echo "TODO(jleibs): Run benches" +