File tree 1 file changed +6
-6
lines changed 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change 69
69
env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
70
70
make -C jbmc/regression test-parallel JOBS=2
71
71
72
- check-ubuntu-20_04 -make-clang :
73
- runs-on : ubuntu-20 .04
72
+ check-ubuntu-22_04 -make-clang :
73
+ runs-on : ubuntu-22 .04
74
74
env :
75
75
CC : " ccache /usr/bin/clang"
76
76
CXX : " ccache /usr/bin/clang++"
85
85
DEBIAN_FRONTEND : noninteractive
86
86
run : |
87
87
sudo apt-get update
88
- sudo apt-get install --no-install-recommends -yq clang-10 clang++-10 gdb maven jq flex bison libxml2-utils cpanminus ccache z3
88
+ sudo apt-get install --no-install-recommends -yq clang-14 clang++-14 gdb maven jq flex bison libxml2-utils cpanminus ccache z3 python2
89
89
make -C src minisat2-download
90
90
cpanm Thread::Pool::Simple
91
91
- name : Confirm z3 solver is available and log the version installed
@@ -100,10 +100,10 @@ jobs:
100
100
uses : actions/cache@v2
101
101
with :
102
102
path : .ccache
103
- key : ${{ runner.os }}-20 .04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
103
+ key : ${{ runner.os }}-22 .04-make-clang-${{ github.ref }}-${{ github.sha }}-PR
104
104
restore-keys : |
105
- ${{ runner.os }}-20 .04-make-clang-${{ github.ref }}
106
- ${{ runner.os }}-20 .04-make-clang
105
+ ${{ runner.os }}-22 .04-make-clang-${{ github.ref }}
106
+ ${{ runner.os }}-22 .04-make-clang
107
107
- name : ccache environment
108
108
run : |
109
109
echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
You can’t perform that action at this time.
0 commit comments