Add BUILD_LINUX flag to CI

.github/workflows/dkml.yml

@@ -40,6 +40,10 @@ on:
       DKML_COMPILER:
         description: The tag for https://github.com/diskuv/dkml-compiler.git. Use "main" to get the latest diskuv repository
         type: string
+      BUILD_LINUX:
+        default: true
+        description: Build Linux compiler
+        type: boolean
 
 env:
   DISKUV_OPAM_REPOSITORY: ${{ github.event.inputs.DISKUV_OPAM_REPOSITORY }}
@@ -49,6 +53,8 @@ jobs:
   build:
     strategy:
       matrix:
+        build_linux:
+          - ${{github.event.inputs.BUILD_LINUX}}
         include: # 
           - gh_os: windows-2019
             abi_pattern: win32-windows_x86
@@ -70,6 +76,12 @@ jobs:
             abi_pattern: macos-darwin_all-intel
             dkml_host_abi: darwin_x86_64
             bits: "64"
+        exclude:
+          - dkml_host_abi: linux_x86
+            build_linux: false
+          - dkml_host_abi: linux_x86_64
+            build_linux: false
+
 
     runs-on: ${{ matrix.gh_os }}
     name: build / ${{ matrix.abi_pattern }}