aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/main.c
diff options
context:
space:
mode:
authorRobin Haberkorn <robin.haberkorn@googlemail.com>2024-10-30 14:36:08 +0300
committerRobin Haberkorn <robin.haberkorn@googlemail.com>2024-10-30 14:36:08 +0300
commit8470d478409b66410170b063286ffe8c7124a764 (patch)
treed9c7e160e589af8e16afe119e04f3a2c6d87b279 /src/main.c
parentc3c30639034c3f88e684748f7cc90aa2a0aa3049 (diff)
downloadsciteco-8470d478409b66410170b063286ffe8c7124a764.tar.gz
CI: disabled Valgrind altogether
* Apparently it's not possible to run it as part of CI.
Diffstat (limited to 'src/main.c')
0 files changed, 0 insertions, 0 deletions