Skip to content

Commit ac6f678

Browse files
committed
CI: speed up gcc and clang-format Ubuntu runs
This is an attempt to speed up the gcc and clang-format CI jobs on the Ubuntu runner, which spends between 2 and 3 minutes on apt-get update and apt-get install. Without apt-get update, the installation of the dependencies (ccache, z3, clang-format) now takes 20 seconds.
1 parent 564222c commit ac6f678

File tree

2 files changed

+4
-6
lines changed

2 files changed

+4
-6
lines changed

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -18,11 +18,11 @@ jobs:
1818
# This is needed in addition to -yq to prevent apt-get from asking for
1919
# user input
2020
DEBIAN_FRONTEND: noninteractive
21-
run: |
22-
sudo apt-get update
23-
sudo apt-get install --no-install-recommends -yq gcc gdb g++ jq flex bison libxml2-utils ccache cmake z3
21+
run: sudo apt-get install --no-install-recommends -yq ccache z3
2422
- name: Confirm z3 solver is available and log the version installed
2523
run: z3 --version
24+
- name: Log the version of gcc
25+
run: gcc --version
2626
- name: Prepare ccache
2727
uses: actions/cache@v4
2828
with:

.github/workflows/syntax-checks.yaml

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -17,9 +17,7 @@ jobs:
1717
# This is needed in addition to -yq to prevent apt-get from asking for
1818
# user input
1919
DEBIAN_FRONTEND: noninteractive
20-
run: |
21-
sudo apt-get update
22-
sudo apt-get install --no-install-recommends -yq clang-format-15
20+
run: sudo apt-get install --no-install-recommends -yq clang-format-15
2321
- name: Check updated lines of code match clang-format-15 style
2422
env:
2523
BASE_BRANCH: ${{ github.base_ref }}

0 commit comments

Comments
 (0)