max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: CI: fix ctest cmdline that ignored --output-on-failure

Browse source
This commit is contained in:
Sebastian Ullrich 2020-05-02 10:40:47 +02:00
parent 28350f46d8
commit 7f10a504f8
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/ci.yml vendored
View file

@ -83,10 +83,10 @@ jobs:
run: msys2do ./script/ci.sh
if: matrix.os == 'windows-latest'
- name: Test
run: nix-shell --run "cd build; ctest -j --output-on-failure < /dev/null"
run: nix-shell --run "cd build; ctest -j4 --output-on-failure < /dev/null"
if: matrix.os != 'windows-latest'
- name: Test
run: msys2do cd build; ctest -j --output-on-failure ^< /dev/null
run: msys2do cd build; ctest -j4 --output-on-failure ^< /dev/null
shell: cmd
if: matrix.os == 'windows-latest'
- name: Build Stage 2