diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-10-30 14:36:08 +0300 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-10-30 14:36:08 +0300 |
| commit | 8470d478409b66410170b063286ffe8c7124a764 (patch) | |
| tree | d9c7e160e589af8e16afe119e04f3a2c6d87b279 /configure.ac | |
| parent | c3c30639034c3f88e684748f7cc90aa2a0aa3049 (diff) | |
| download | sciteco-8470d478409b66410170b063286ffe8c7124a764.tar.gz | |
CI: disabled Valgrind altogether
* Apparently it's not possible to run it as part of CI.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions