Merge pull request #7480 from tautschnig/cleanup/caching

Cleanup GitHub actions

Author: tautschnig

.github/workflows/build-and-test-Linux.yaml

@@ -6,6 +6,7 @@ on:
       - '**'
 
 jobs:
+  # This job takes approximately 18 minutes
   CompileLinux:
     runs-on: ubuntu-20.04
     steps:
@@ -19,18 +20,18 @@ jobs:
           DEBIAN_FRONTEND: noninteractive
         run: |
           sudo apt-get update
-          sudo apt-get install --no-install-recommends -y g++ flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache
+          sudo apt-get install --no-install-recommends -y clang-10 clang++-10 flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache
           sudo apt-get install --no-install-recommends -y libssl-dev libelf-dev libudev-dev libpci-dev libiberty-dev autoconf
           sudo apt-get install --no-install-recommends -y gawk jq
 
       - name: Prepare ccache
         uses: actions/cache@v3
         with:
           path: .ccache
-          key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-KERNEL
+          key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-KERNEL
           restore-keys: |
-            ${{ runner.os }}-20.04-make-${{ github.ref }}
-            ${{ runner.os }}-20.04-make
+            ${{ runner.os }}-20.04-make-clang-${{ github.ref }}
+            ${{ runner.os }}-20.04-make-clang
       - name: ccache environment
         run: |
           echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
@@ -40,7 +41,7 @@ jobs:
       - name: Build CBMC tools
         run: |
           make -C src minisat2-download
-          make -C src CXX='ccache /usr/bin/g++' cbmc.dir goto-cc.dir goto-diff.dir -j2
+          make -C src CXX='ccache /usr/bin/clang++' cbmc.dir goto-cc.dir goto-diff.dir -j2
       - name: Print ccache stats
         run: ccache -s
 

.github/workflows/build-and-test-Xen.yaml

@@ -5,6 +5,7 @@ on:
     branches: [ develop ]
 
 jobs:
+  # This job takes approximately 33 minutes
   CompileXen:
     runs-on: ubuntu-20.04
     steps:
@@ -20,16 +21,16 @@ jobs:
           sudo apt-get update
           sudo apt-get install --no-install-recommends -y build-essential git flex bison software-properties-common curl python
           sudo apt-get install --no-install-recommends -y bin86 gdb bcc liblzma-dev python-dev gettext iasl uuid-dev libncurses5-dev libncursesw5-dev pkg-config
-          sudo apt-get install --no-install-recommends -y libgtk2.0-dev libyajl-dev time ccache
+          sudo apt-get install --no-install-recommends -y libgtk2.0-dev libyajl-dev time ccache clang-10 clang++-10
 
       - name: Prepare ccache
         uses: actions/cache@v3
         with:
           path: .ccache
-          key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-XEN
+          key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-XEN
           restore-keys: |
-            ${{ runner.os }}-20.04-make-${{ github.ref }}
-            ${{ runner.os }}-20.04-make
+            ${{ runner.os }}-20.04-make-clang-${{ github.ref }}
+            ${{ runner.os }}-20.04-make-clang
       - name: ccache environment
         run: |
           echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
@@ -39,7 +40,7 @@ jobs:
       - name: Build CBMC tools
         run: |
           make -C src minisat2-download
-          make -C src CXX='ccache /usr/bin/g++' cbmc.dir goto-cc.dir goto-diff.dir -j2
+          make -C src CXX='ccache /usr/bin/clang++' cbmc.dir goto-cc.dir goto-diff.dir -j2
       - name: Print ccache stats
         run: ccache -s
 

.github/workflows/codeql-analysis.yml

@@ -7,6 +7,7 @@ on:
     branches: [ develop ]
 
 jobs:
+  # This job takes approximately 82 minutes
   analyze:
     name: Analyze
     runs-on: ubuntu-latest

.github/workflows/csmith.yaml

@@ -5,6 +5,7 @@ on:
     branches: [ develop ]
 
 jobs:
+  # This job takes approximately 18 minutes
   run-10-random-tests:
     runs-on: ubuntu-20.04
     steps:
@@ -17,17 +18,17 @@ jobs:
           # user input
           DEBIAN_FRONTEND: noninteractive
         run: |
-          sudo apt-get install --no-install-recommends -y build-essential flex bison maven ccache
+          sudo apt-get install --no-install-recommends -y build-essential flex bison maven ccache clang-10 clang++-10
           sudo apt-get install --no-install-recommends -y csmith libcsmith-dev
           make -C src minisat2-download
       - name: Prepare ccache
         uses: actions/cache@v3
         with:
           path: .ccache
-          key: ${{ runner.os }}-20.04-make-${{ github.ref }}-${{ github.sha }}-CSMITH
+          key: ${{ runner.os }}-20.04-make-clang-${{ github.ref }}-${{ github.sha }}-CSMITH
           restore-keys: |
-            ${{ runner.os }}-20.04-make-${{ github.ref }}
-            ${{ runner.os }}-20.04-make
+            ${{ runner.os }}-20.04-make-clang-${{ github.ref }}
+            ${{ runner.os }}-20.04-make-clang
       - name: ccache environment
         run: |
           echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
@@ -36,7 +37,7 @@ jobs:
         run: ccache -z --max-size=500M
       - name: Build with make
         run: |
-          make -C src CXX='ccache /usr/bin/g++' cbmc.dir goto-cc.dir goto-instrument.dir -j2
+          make -C src CXX='ccache /usr/bin/clang++' cbmc.dir goto-cc.dir goto-instrument.dir -j2
       - name: Print ccache stats
         run: ccache -s
       - name: Run 10 randomly-generated CSmith tests

.github/workflows/doxygen-check.yaml

@@ -4,6 +4,7 @@ on:
     branches: [ develop ]
 
 jobs:
+  # This job takes approximately 2 minutes
   check-doxygen:
     runs-on: ubuntu-20.04
     steps:

.github/workflows/publish.yaml

@@ -2,6 +2,7 @@ name: Publish CBMC documentation
 on: [push, pull_request]
 
 jobs:
+  # This job takes approximately 3 minutes
   publish:
     runs-on: ubuntu-latest
     steps: