enable codecov

This commit is contained in:
Philipp Holzer 2019-09-23 15:36:16 +02:00
parent e3e3c1ef28
commit c65d574ac3
No known key found for this signature in database
GPG key ID: D8365C3D36B77D90
4 changed files with 16 additions and 4 deletions

View file

@ -37,4 +37,4 @@ do {
fwrite(STDOUT, '.');
} while (time() < $stopTime);
fwrite(STDOUT, "\n");
exit(1);
exit(1);