From 174c02d96956a403e556bb13b12196e8bba108d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=B2=20Ribaudo?= Date: Thu, 5 Dec 2024 17:59:18 +0100 Subject: [PATCH] Fix IPR check after repo rename (#163) --- .github/workflows/ipr.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ipr.yml b/.github/workflows/ipr.yml index 6a08176..e9448cc 100644 --- a/.github/workflows/ipr.yml +++ b/.github/workflows/ipr.yml @@ -16,7 +16,7 @@ jobs: steps: - uses: actions/checkout@v3 - uses: actions/setup-node@v3 - - run: node scripts/ipr-check.js tc39/source-map ${{ github.event.pull_request.head.sha || 'HEAD' }} + - run: node scripts/ipr-check.js tc39/ecma426 ${{ github.event.pull_request.head.sha || 'HEAD' }} env: # This is a classic token with 'read:org' permission GH_TOKEN: ${{ secrets.GH_IPR_TOKEN }}