diff options
author | Joseph Birr-Pixton <jpixton@gmail.com> | 2024-04-04 16:46:06 +0100 |
---|---|---|
committer | Daniel McCarney <daniel@binaryparadox.net> | 2024-04-04 11:55:57 -0400 |
commit | 6d69958bebf4c50648dc387991c30a2ade6bc2c3 (patch) | |
tree | 3b57580fa369cd2d865a81602152e4c6a9a1842b /.github | |
parent | ee10ac49afaa3837668fb30446a598249ab7d645 (diff) |
Fix valgrind job
`export VALGRIND="valgrind -q"` doesn't work as intended:
- in GH actions, environment alterations don't affect subsequent `run` steps
- in `tests/client_server.rs`, we require `VALGRIND` to be a single command to
execute: no shell expansion takes place so no arguments are allowed
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/test.yaml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index f21a54b..d70dfc8 100644 --- a/.github/workflows/test.yaml +++ b/.github/workflows/test.yaml @@ -52,8 +52,7 @@ jobs: persist-credentials: false - name: Install valgrind run: sudo apt-get update && sudo apt-get install -y valgrind - - run: export VALGRIND="valgrind -q" - - run: make test integration + - run: VALGRIND=valgrind make test integration test-windows-cmake-debug: name: Windows CMake, Debug configuration |