@@ -95,12 +95,10 @@ jobs:
95
95
name : VAST
96
96
97
97
- name : Unpack VAST
98
- run : |
99
- mkdir vast && tar -xf VAST-* -C vast --strip-components=1
98
+ run : mkdir vast && tar -xf VAST-* -C vast --strip-components=1
100
99
101
100
- name : Export vast binaries
102
- run : |
103
- echo "${PWD}/vast/bin/" >> $GITHUB_PATH
101
+ run : echo "${PWD}/vast/bin/" >> $GITHUB_PATH
104
102
105
103
- name : Install test suite dependencies
106
104
run : |
@@ -162,8 +160,7 @@ jobs:
162
160
merge-multiple : true
163
161
164
162
- name : Install evaluator dependencies
165
- run : |
166
- pip3 install pandas scipy tabulate
163
+ run : pip3 install pandas scipy tabulate
167
164
168
165
- name : Clone test suite repository
169
166
uses : actions/checkout@v4
@@ -213,21 +210,18 @@ jobs:
213
210
name : VAST
214
211
215
212
- name : Unpack VAST
216
- run : |
217
- mkdir vast && tar -xf VAST-* -C vast --strip-components=1
213
+ run : mkdir vast && tar -xf VAST-* -C vast --strip-components=1
218
214
219
215
- name : Export vast binaries
220
- run : |
221
- echo "${PWD}/vast/bin/" >> $GITHUB_PATH
216
+ run : echo "${PWD}/vast/bin/" >> $GITHUB_PATH
222
217
223
218
- name : Install test suite dependencies
224
219
run : |
225
220
apt-get update
226
221
apt-get -y install git
227
222
228
223
- name : Clone test suite repository
229
- run : |
230
- git clone --depth=1 https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.git
224
+ run : git clone --depth=1 https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.git
231
225
232
226
- name : Clone patch repository
233
227
uses : actions/checkout@v4
@@ -239,12 +233,10 @@ jobs:
239
233
240
234
- name : Apply patch
241
235
working-directory : sv-bench-patch
242
- run : |
243
- ./apply
236
+ run : ./apply
244
237
245
238
- name : Run benchmarks
246
- run : |
247
- sh ./sv-bench-patch/compile-all.sh -t ${{ matrix.vast-target }} -d ./sv-benchmarks
239
+ run : sh ./sv-bench-patch/compile-all.sh -t ${{ matrix.vast-target }} -d ./sv-benchmarks
248
240
249
241
- name : Upload results
250
242
uses : actions/upload-artifact@v4
@@ -266,8 +258,7 @@ jobs:
266
258
pattern : results-sv-*
267
259
268
260
- name : Install evaluator dependencies
269
- run : |
270
- pip3 install pandas scipy tabulate
261
+ run : pip3 install pandas scipy tabulate
271
262
272
263
- name : Clone patch repository
273
264
uses : actions/checkout@v4
@@ -289,8 +280,7 @@ jobs:
289
280
uses : actions/upload-artifact@v4
290
281
with :
291
282
name : sv-comp-results
292
- path : |
293
- ./sv-comp-results.md
283
+ path : ./sv-comp-results.md
294
284
#
295
285
# Webpage build
296
286
#
@@ -329,8 +319,12 @@ jobs:
329
319
path : sv-comp-results
330
320
331
321
- name : Build Pages
322
+ <<<<<<< HEAD
332
323
run : |
333
324
sh ./www/setup.sh _site ./builds/ci/
325
+ =======
326
+ run : sh ./www/setup.sh _site ./builds/ninja-multi-default/
327
+ >>>>>>> 42b7bb7c (gh: Simplify one-line arguments in prerelease action.)
334
328
335
329
- name : Deploy docs
336
330
uses : mhausenblas/mkdocs-deploy-gh-pages@master
0 commit comments