diff --git a/infra/nightly-resources/index.html b/infra/nightly-resources/index.html index 320e854d..d66e260b 100644 --- a/infra/nightly-resources/index.html +++ b/infra/nightly-resources/index.html @@ -67,6 +67,7 @@

Nightlies

Overall Stats

+ Warning: compile-time statistics are not very trustworthy in parallel mode.

Detailed Table