don't run tests in docker build, but separately in CI instead.

Author: rmalmain

.github/workflows/main.yml

@@ -5,10 +5,13 @@ on:
 jobs:
   build-and-test:
     runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        llvm_versions: [14, 15]
     steps:
     - uses: actions/checkout@v4
     - run: git submodule update --init --recursive subprojects/symcc-rt
-    # build and test with default LLVM version 15
-    - run: docker build -t symqemu .
-    # LLVM version 14
-    - run: docker build --build-arg LLVM_VERSION=14 -t symqemu .
+    # build and test with multiple LLVM versions
+    - run: docker build --build-arg LLVM_VERSION=${{ matrix.llvm_versions }} -t symqemu .
+    - run: docker run -t symqemu make -C build check
+    - run: docker run -t symqemu sh -c "cd tests/symqemu && python3 -m unittest test.py"

Dockerfile

@@ -68,7 +68,6 @@ RUN mkdir build && cd build && /configure_symqemu.sh
 
 RUN cd build && make -j
 
-RUN cd build && make check
-
-WORKDIR /symqemu_source/tests/symqemu
-RUN python3 -m unittest test.py
+# RUN cd build && make check
+# WORKDIR /symqemu_source/tests/symqemu
+# RUN python3 -m unittest test.py