Merge pull request #589 from secure-software-engineering/f-RevertCIWorkaround

Revert CI workaround

Author: janniclas

.github/workflows/ci.yml

@@ -51,14 +51,8 @@ jobs:
               libclang-common-14-dev \
               libclang-14-dev \
               libclang-cpp14-dev \
-              clang-tidy-14
-
-      - name: Workaround for sanitizer
-        shell: bash
-        run: |
-          sudo apt-get update
-          sudo apt download libclang-rt-14-dev
-          sudo dpkg --force-all -i libclang-rt-14-dev*
+              clang-tidy-14 \
+              libclang-rt-14-dev
 
       - uses: swift-actions/setup-swift@v1
       - name: Building Phasar in ${{ matrix.build }} with ${{ matrix.compiler[0] }}

Dockerfile

@@ -33,9 +33,8 @@ RUN apt-key adv --fetch-keys https://apt.llvm.org/llvm-snapshot.gpg.key && \
               libclang-common-14-dev \
               libclang-14-dev \
               libclang-cpp14-dev \
-              clang-tidy-14 && \
-            apt download libclang-rt-14-dev && \
-            dpkg --force-all -i libclang-rt-14-dev*
+              clang-tidy-14 \
+              libclang-rt-14-dev
 
 RUN pip3 install Pygments pyyaml