From 0c4e7072dbf39e6b9766b259fcb7f7cdf38ba11a Mon Sep 17 00:00:00 2001
From: Filippos Christou <filchristou@outlook.com>
Date: Wed, 28 Feb 2024 15:49:12 +0100
Subject: [PATCH] labeled in pull_request

---
 .github/workflows/benchmarkpr.yml | 21 ++++++++++-----------
 1 file changed, 10 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/benchmarkpr.yml b/.github/workflows/benchmarkpr.yml
index 75fcf9f57..df232cfda 100644
--- a/.github/workflows/benchmarkpr.yml
+++ b/.github/workflows/benchmarkpr.yml
@@ -2,17 +2,16 @@ name: performance tracking
 env:
   JULIA_NUM_THREADS: 2
 on:
-  label:
-    types: [created]
-#  pull_request:
-#    branches:
-#      - master
-#      - benchx
-#  push:
-#    branches:
-#      - master
-#      - benchx
-#    tags: '*'
+  pull_request:
+    types: [labeled]
+    branches:
+     - master
+     - benchx
+  push:
+    branches:
+     - master
+     - benchx
+    tags: '*'
 jobs:
   benchmark:
     if: ${{ github.event.label.name == 'to-benchmark' }}