diff options
author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-10-30 14:32:25 +0300 |
---|---|---|
committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-10-30 14:32:25 +0300 |
commit | c3c30639034c3f88e684748f7cc90aa2a0aa3049 (patch) | |
tree | 7987fb72c7da4773495b610b93932b34fcf4d4bd /configure.ac | |
parent | be230b5ebccde8605557eb6f8233867cc0bb2e06 (diff) | |
download | sciteco-c3c30639034c3f88e684748f7cc90aa2a0aa3049.tar.gz |
CI: Valgrind does not work in the Ubuntu runners, so let's try it under Mac OS
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions