From c3e7ce3adf760a6f898a1e4797d0c7edf3e875e2 Mon Sep 17 00:00:00 2001
From: alankritdabral <95607957+alankritdabral@users.noreply.github.com>
Date: Sun, 12 Nov 2023 11:15:09 +0000
Subject: [PATCH] run

---
 .github/workflows/build_time_check.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build_time_check.yml b/.github/workflows/build_time_check.yml
index 17a7bf04d0..d8f1f53949 100644
--- a/.github/workflows/build_time_check.yml
+++ b/.github/workflows/build_time_check.yml
@@ -9,6 +9,7 @@ on:
 jobs:
   benchmark:
     name: build_time_check
+    if: contains(github.event.pull_request.labels.*.name, ':benchmark')
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code