From a75d1e1c3df73659d709a91fad65c8ff0ca2087e Mon Sep 17 00:00:00 2001
From: Florian Loitsch <florian@toit.io>
Date: Thu, 30 May 2024 21:03:28 +0200
Subject: [PATCH] Only build the envelope.

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 7942f82..7e519f1 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -259,7 +259,7 @@ jobs:
             TARGET=host;
           fi
           echo "HOST_TARGET=$TARGET" >> $GITHUB_ENV
-          make -C toit TARGET=$TARGET BUILD=$PWD/build sdk
+          make -C toit TARGET=$TARGET BUILD=$PWD/build build-envelope
 
       - name: Prepare envelopes for upload
         shell: bash