Make GitHub Actions validate the dynamic linking mode

Author: DrXiao

.github/workflows/main.yml

@@ -9,6 +9,8 @@ jobs:
       matrix:
         compiler: [gcc, clang]
         architecture: [arm, riscv]
+        dynlink: [0, 1]
+    if: !(matrix.architecture == 'riscv' && matrix.linking == '1')
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
@@ -22,7 +24,8 @@ jobs:
         env:
           CC: ${{ matrix.compiler }}
         run: |
-          make distclean config ARCH=${{ matrix.architecture }}
+          make distclean config ARCH=${{ matrix.architecture }} \
+                                DYNLINK=${{ matrix.dynlink }}
       - name: IR regression tests
         run: |
           make check-snapshot || exit 1
@@ -37,6 +40,9 @@ jobs:
 
   host-arm:
     runs-on: ubuntu-24.04
+    strategy:
+      matrix:
+        dynlink: [0, 1]
     steps:
     - name: Checkout code
       uses: actions/checkout@v4
@@ -52,7 +58,7 @@ jobs:
           apt-get update -qq -y
           apt-get install -yqq build-essential
         run: |
-          make config ARCH=arm
+          make config ARCH=arm DYNLINK=${{ matrix.dynlink }}
           make check-sanitizer || exit 1
           make check || exit 1