Rename tag core to core_tools

Signed-off-by: Ahmed Hussein <[email protected]>
NVIDIA · Sep 18, 2024 · 8583738 · 8583738
1 parent d3b9a59
commit 8583738
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/configuration.json b/.github/workflows/configuration.json
@@ -6,7 +6,7 @@
     },
     {
       "title": "### Core",
-      "labels": ["tools"]
+      "labels": ["core_tools"]
     },
     {
       "title": "### Miscellaneous",