Fix label name

rollup · Jun 28, 2021 · 5e49df7 · 5e49df7
1 parent 7f06e68
commit 5e49df7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/labels.json b/.github/labels.json
@@ -49,5 +49,5 @@
 	{ "name": "x⁵ ⋅ in progress", "color": "#4CAF50" },
 	{ "name": "x⁶ ⋅ invalid", "color": "#CFD8DC" },
 	{ "name": "x⁷ ⋅ wontfix", "color": "#CFD8DC" },
-	{ "name": "x8 ⚙️ build repl artefacts", "color": "#4CAF50" }
+	{ "name": "x⁸ ⚙️ build repl artefacts", "color": "#4CAF50" }
 ]
diff --git a/.github/workflows/repl-artefacts.yml b/.github/workflows/repl-artefacts.yml
@@ -6,7 +6,7 @@ on:
 
 jobs:
   upload:
-    if: ${{ github.event.pull_request.head.repo.full_name == 'rollup/rollup' || contains( toJson(github.event.pull_request.labels), 'x8 ⚙️ build repl artefacts' ) }}
+    if: ${{ github.event.pull_request.head.repo.full_name == 'rollup/rollup' || contains( toJson(github.event.pull_request.labels), 'x⁸ ⚙️ build repl artefacts' ) }}
     runs-on: ubuntu-latest
     name: Upload
     steps: