fixup! Enable Clang sanitizers in Linux/Clang CI pipeline

Author: tautschnig

.github/workflows/clang-sanitizer.yaml

@@ -73,6 +73,13 @@ jobs:
           make -C unit -j${{env.linux-vcpus}} \
             CXXFLAGS="$SANITIZER_FLAGS" \
             LINKFLAGS="$SANITIZER_FLAGS"
+          make -C jbmc/src -j${{env.linux-vcpus}} \
+            CXXFLAGS="$SANITIZER_FLAGS" \
+            LINKFLAGS="$SANITIZER_FLAGS" \
+            MINISAT2=../../minisat-2.2.1
+          make -C jbmc/unit -j${{env.linux-vcpus}} \
+            CXXFLAGS="$SANITIZER_FLAGS" \
+            LINKFLAGS="$SANITIZER_FLAGS"
       - name: Print ccache stats
         run: ccache -s
       - name: Run unit tests