File tree Expand file tree Collapse file tree 1 file changed +25
-0
lines changed Expand file tree Collapse file tree 1 file changed +25
-0
lines changed Original file line number Diff line number Diff line change 73
73
make -C regression/cbmc test-paths-lifo
74
74
env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
75
75
make -C jbmc/regression test-parallel JOBS=2
76
+ - name : Check cleanup
77
+ run : |
78
+ make -C src clean IPASIR=$PWD/riss.git/riss
79
+ make -C jbmc/src clean IPASIR=$PWD/riss.git/riss
80
+ rm -r riss.git
81
+ rm src/goto-cc/goto-ld
82
+ make -C unit clean
83
+ make -C regression clean
84
+ make -C jbmc/unit clean
85
+ make -C jbmc/regression clean
86
+ if [[ $(git status --ignored --porcelain | grep -v .ccache/) ]] ; then
87
+ git status --ignored
88
+ exit 1
89
+ fi
76
90
77
91
# This job takes approximately 25 to 34 minutes
78
92
check-ubuntu-20_04-make-clang :
@@ -241,6 +255,17 @@ jobs:
241
255
ls *.deb
242
256
- name : Run tests
243
257
run : cd build; ctest . -V -L CORE -j2
258
+ - name : Check cleanup
259
+ run : |
260
+ rm -r build
261
+ rm scripts/bash-autocomplete/cbmc.sh
262
+ make -C unit clean
263
+ make -C regression clean
264
+ make -C jbmc/regression clean
265
+ if [[ $(git status --ignored --porcelain | grep -v .ccache/) ]] ; then
266
+ git status --ignored
267
+ exit 1
268
+ fi
244
269
245
270
# This job takes approximately 34 to 38 minutes
246
271
check-ubuntu-22_04-make-clang :
You can’t perform that action at this time.
0 commit comments