Only build the envelope.

toitlang · May 30, 2024 · a75d1e1 · a75d1e1
1 parent 7ba6c27
commit a75d1e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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