File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 8888 echo "addons_path = ${{ github.workspace }}/data/addons"
8989 } > "${{ github.workspace }}/data/config.ini"
9090
91- - name : Install valgrind
92- run : |
93- sudo apt install valgrind
94-
9591 - name : Install vcpkg
9692 run : |
9793 git clone https://github.com/microsoft/vcpkg.git
@@ -104,7 +100,7 @@ jobs:
104100 -DCMAKE_BUILD_TYPE=${{ matrix.build_type }}
105101 -S ${{ github.workspace }}
106102 -DWOWPKG_USE_DEVELOPMENT_PATHS:option=on
107- -DWOWPKG_ENABLE_SANITIZERS:option=off
103+ -DWOWPKG_ENABLE_SANITIZERS:option=on
108104 -DWOWPKG_ENABLE_TESTS:option=on
109105 -DWOWPKG_ENABLE_TESTS_INTEGRATION:option=on
110106
@@ -114,7 +110,7 @@ jobs:
114110
115111 - name : Test
116112 working-directory : ${{ steps.strings.outputs.build-output-dir }}
117- run : ctest --build-config ${{ matrix.build_type }} -T memcheck - -output-on-failure
113+ run : ctest --build-config ${{ matrix.build_type }} --output-on-failure
118114
119115 windows :
120116 runs-on : windows-latest
You can’t perform that action at this time.
0 commit comments