From ae4e79224e3d81ae6aa8d5e8d7c15bf15eeeb914 Mon Sep 17 00:00:00 2001
From: Dan Halbert <halbert@halwitz.org>
Date: Wed, 22 Nov 2023 10:59:27 -0500
Subject: [PATCH] set PULL in proper workflow file

---
 .github/workflows/build-boards.yml | 1 +
 .github/workflows/build.yml        | 3 ---
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/build-boards.yml b/.github/workflows/build-boards.yml
index e3d3324cd3..102cada6ca 100644
--- a/.github/workflows/build-boards.yml
+++ b/.github/workflows/build-boards.yml
@@ -72,6 +72,7 @@ jobs:
       working-directory: tools
       env:
         BOARDS: ${{ matrix.board }}
+        PULL: ${{ github.event.number }}
 
     - name: Upload artifact
       uses: actions/upload-artifact@v3
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 5733cbb2a3..05d91910bc 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -84,7 +84,6 @@ jobs:
       run: python3 -u ci_set_matrix.py
       working-directory: tools
       env:
-        PULL: ${{ github.event.number }}
         LAST_FAILED_JOBS: ${{ steps.get-last-commit-with-checks.outputs.check_runs }}
 
   tests:
@@ -295,5 +294,3 @@ jobs:
     with:
       boards: ${{ toJSON(fromJSON(needs.scheduler.outputs.ports)[matrix.port]) }}
       cp-version: ${{ needs.scheduler.outputs.cp-version }}
-    env:
-      PULL: ${{ github.event.number }}