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"