[FIXUP] Fix clang's version to 10.

Author: NlightNFotis

.github/workflows/pull-request-checks.yaml

@@ -72,7 +72,7 @@ jobs:
           DEBIAN_FRONTEND: noninteractive
         run: |
           sudo apt-get update
-          sudo apt-get install --no-install-recommends -yqf clang clang++ gdb maven jq flex bison libxml2-utils cpanminus
+          sudo apt-get install --no-install-recommends -yq clang-10 clang++-10 gdb maven jq flex bison libxml2-utils cpanminus
           make -C src minisat2-download
           cpanm Thread::Pool::Simple
       - name: Build with make