diff options
| author | Thanos Makatos <thanos.makatos@nutanix.com> | 2021-11-11 09:24:51 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-11 09:24:51 +0000 |
| commit | 68f2cae354c5ebea13c2c4628fb012ad756fd6c9 (patch) | |
| tree | eddf662dffa1d654b9ce0cc29337a5f910b5276e /.github | |
| parent | a9fd732da9458a8113c758471deac63cc3ef1323 (diff) | |
| download | libvfio-user-68f2cae354c5ebea13c2c4628fb012ad756fd6c9.zip libvfio-user-68f2cae354c5ebea13c2c4628fb012ad756fd6c9.tar.gz libvfio-user-68f2cae354c5ebea13c2c4628fb012ad756fd6c9.tar.bz2 | |
enable options in Valgrind that improve tracking uninit values (#617)
These extra options make tracking uninitilized values easier. They make
Valgrind run slower so we need to increase the timeouts in the CI.
Signed-off-by: Thanos Makatos <thanos.makatos@nutanix.com>
Reviewed-by: John Levon <john.levon@nutanix.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pull_request.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index b7ed789..26ec8f6 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -2,7 +2,7 @@ name: pull_request on: pull_request jobs: ubuntu-20: - timeout-minutes: 5 + timeout-minutes: 10 runs-on: ubuntu-20.04 steps: - uses: actions/checkout@v2 @@ -13,7 +13,7 @@ jobs: python3-pytest debianutils flake8 make pre-push VERBOSE=1 ubuntu-18: - timeout-minutes: 5 + timeout-minutes: 10 runs-on: ubuntu-18.04 steps: - uses: actions/checkout@v2 @@ -25,7 +25,7 @@ jobs: python3-pytest debianutils make pre-push VERBOSE=1 centos-7: - timeout-minutes: 5 + timeout-minutes: 10 runs-on: ubuntu-latest container: centos:7 steps: @@ -38,7 +38,7 @@ jobs: openssl-devel valgrind python36-pytest which make pre-push VERBOSE=1 fedora-34: - timeout-minutes: 5 + timeout-minutes: 10 runs-on: ubuntu-latest container: fedora steps: |