From d310797c6916e04f56faaa58d2e6a004595ab171 Mon Sep 17 00:00:00 2001
From: Paulo Matos <pmatos@linki.tools>
Date: Sun, 26 Apr 2020 13:35:50 +0200
Subject: [PATCH] Print target machine information

original commit: 8c9ee4f00940af5ee557c2c93892209651757610
---
 .github/workflows/build.yml | 2 ++
 1 file changed, 2 insertions(+)

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