diff --git a/tests/run-tests.html b/tests/run-tests.html index 17040e63bd..b4de57e989 100644 --- a/tests/run-tests.html +++ b/tests/run-tests.html @@ -2410,4 +2410,10 @@ checkpoints: +