diff --git a/.github/labels.json b/.github/labels.json index 6ac89696e7b..77caa1c6c70 100644 --- 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 index d1f87643351..3073fea2ee4 100644 --- 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: