add ccache and clean up deps

.forgejo/workflows/test.yml

@@ -13,10 +13,31 @@ jobs:
           scripts/check-copyright.sh
       - run: |
           apt-get update -qq
-          apt-get install -qq cvc5 z3 build-essential clang lld bison flex \
+          apt-get install -qq \
-            libreadline-dev gawk tcl-dev libffi-dev git \
+            bison \
-            graphviz xdot pkg-config python3 libboost-system-dev \
+            build-essential \
-            libboost-python-dev libboost-filesystem-dev zlib1g-dev
+            ccache \
+            clang \
+            cvc5 \
+            flex \
+            gawk \
+            git \
+            libboost-filesystem-dev \
+            libboost-python-dev \
+            libboost-system-dev \
+            libffi-dev \
+            libreadline-dev \
+            lld \
+            pkg-config \
+            python3 \
+            tcl-dev \
+            z3 \
+            zlib1g-dev \
+      - name: ccache
+        uses: https://github.com/hendrikmuhs/ccache-action@v1
+      - run: |
+          export PATH="/usr/lib/ccache:/usr/local/opt/ccache/libexec:$PATH"
+          echo "$PATH" >> "$GITHUB_PATH"
       - run: |
           curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --default-toolchain 1.80.1
           source "$HOME/.cargo/env"