Build sdk on other platforms.

toitlang · Oct 9, 2024 · 5210da1 · 5210da1
1 parent f08e3b2
commit 5210da1
Showing 1 changed file with 13 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -194,12 +194,23 @@ jobs:
       - name: Ccache stats
         run: ccache -s
 
-      - name: Build test SDKS
+      - name: Build test SDKS - Linux only
         if: env.DO_MORE_TESTS && runner.os == 'Linux'
         run: |
           make BUILD=build-debug BUILD_TYPE=Debug sdk
           make HOST=host32 BUILD_TYPE=Debug sdk
           make HOST=host-ctp TOOLCHAIN=host TOIT_CHECK_PROPAGATED_TYPES=1 sdk
+
+      - name: Build test SDKS
+        if: env.DO_MORE_TESTS
+        run: |
+          make BUILD=build-debug BUILD_TYPE=Debug sdk
+          make HOST=host32 BUILD_TYPE=Debug sdk
+          make HOST=host-ctp TOOLCHAIN=host TOIT_CHECK_PROPAGATED_TYPES=1 sdk
+          # It's wasteful to rebuild the SDK just to change the optimization level and assert, but
+          # it's the easiest way to make sure all tests are run in that configuration.
+
+
           # It's wasteful to rebuild the SDK just to change the optimization level and assert, but
           # it's the easiest way to make sure all tests are run in that configuration.
           TOIT_OPTIMIZATION_OVERRIDE=0 TOIT_ASSERT_OVERRIDE=0 make HOST=host-O0 TOOLCHAIN=host sdk
@@ -260,12 +271,7 @@ jobs:
           make HOST=host32 BUILD_TYPE=Debug test
 
       - name: Test 64-bit debug
-        if: env.DO_MORE_TESTS && runner.os == 'Linux'
-        run: |
-          make BUILD=build-debug BUILD_TYPE=Debug test
-
-      - name: Test 64-bit debug
-        if: env.DO_MORE_TESTS && runner.os == 'Linux'
+        if: env.DO_MORE_TESTS
         run: |
           make BUILD=build-debug BUILD_TYPE=Debug test