From bc26fe32fd15e46c562bbea3dfed2ae5f33fdad1 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 3 Oct 2024 01:01:06 -0700
Subject: [PATCH] add ccache and clean up deps

---
 .forgejo/workflows/test.yml | 29 +++++++++++++++++++++++++----
 1 file changed, 25 insertions(+), 4 deletions(-)

diff --git a/.forgejo/workflows/test.yml b/.forgejo/workflows/test.yml
index b97b9de..a6c9726 100644
--- a/.forgejo/workflows/test.yml
+++ b/.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 \
-            libreadline-dev gawk tcl-dev libffi-dev git \
-            graphviz xdot pkg-config python3 libboost-system-dev \
-            libboost-python-dev libboost-filesystem-dev zlib1g-dev
+          apt-get install -qq \
+            bison \
+            build-essential \
+            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"