build: try to get pr number from env

jolars · Jan 12, 2024 · 1ed5f3e · 1ed5f3e
1 parent b7ed604
commit 1ed5f3e
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -38,12 +38,17 @@ jobs:
       - uses: teatimeguest/setup-texlive-action@v3
         with:
           packages: scheme-basic
+      - name: Get PR number
+        run: |
+          echo "${{ toJSON(github.event.pull_request) }}" >> pr.json
+          echo "pr_number=$(jq -r '.number' pr.json)" >> $GITHUB_ENV
+          if: ${{ steps.release.outputs.prs_created }}
         if: ${{ steps.release.outputs.prs_created }}
-      - name: Checkout code
+      - name: Checkout PR code
         uses: actions/checkout@v4
         with:
-          ref: refs/pull/${{ steps.release.outputs.pr.number }}/merge
-        if: ${{ steps.release.outputs.prs_created }}
+          ref: refs/pull/${{ env.pr_number }}/merge
+          if: ${{ steps.release.outputs.prs_created }}
       - name: tag
         run: l3build tag 0.1.0
         if: ${{ steps.release.outputs.prs_created }}