diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2019-11-18 09:10:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-18 09:10:48 +0100 |
| commit | 223e65e52995d4243c04b5240109d12b6dc95fa2 (patch) | |
| tree | 6c7dd623a716ab34e2a58b750f0de713b45e4bd0 /.github | |
| parent | 58f3e07b1a84b2cbe1c1fab690b8dd6b9ed5a296 (diff) | |
| download | Nim-223e65e52995d4243c04b5240109d12b6dc95fa2.tar.gz | |
attempt to add valgrind support to the CIs and testament (#12646)
* attempt to add valgrind support to the CIs and testament * valgrind (currently) works only on 64-bit Linux
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions