diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a9078d7f74..f214c4c68c 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -17,6 +17,8 @@ jobs:
 
     steps:
       - uses: actions/checkout@v1
+      - name: Proceed with TARGET_MACHINE == ${{ matrix.mach }}
+        run: echo $TARGET_MACHINE
       - name: Build bootfiles
         run: .github/scripts/dobootfile.sh
       - name: Build Chez