re-enabled valgrind in CI (#4516)
This commit is contained in:
parent
3dfdb409c6
commit
73cf54a333
|
@ -52,7 +52,7 @@ jobs:
|
||||||
- name: Run tests
|
- name: Run tests
|
||||||
run: ./cmake.output/bin/testrunner
|
run: ./cmake.output/bin/testrunner
|
||||||
|
|
||||||
# TODO: re-enable - was being killed because of increased memory usage
|
# TODO: this is currently way too slow (~60 minutes) to enable it
|
||||||
# TODO: only fail the step on sanitizer issues
|
# TODO: only fail the step on sanitizer issues
|
||||||
- name: Self check
|
- name: Self check
|
||||||
if: false
|
if: false
|
||||||
|
|
|
@ -2,8 +2,7 @@
|
||||||
# Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
|
# Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
|
||||||
name: valgrind
|
name: valgrind
|
||||||
|
|
||||||
# on: [push, pull_request]
|
on: [push, pull_request]
|
||||||
on: workflow_dispatch
|
|
||||||
|
|
||||||
permissions:
|
permissions:
|
||||||
contents: read
|
contents: read
|
||||||
|
|
Loading…
Reference in New Issue