Issues found in current buildd logs for tetgen:

In the last run, there were no currently detectable issues found in the logs of tetgen.

Scanned logs (date is the date the log was generated, not the date it was scanned):