27 Oct
2017
27 Oct
'17
9:30 p.m.
On Thu, Oct 26, 2017 at 3:05 PM, Peter Dimov via Boost
I've changed the report script per my earlier suggestions, we'll see how it goes.
OK, looks like it worked (at the second try.)
http://www.boost.org/development/tests/develop/developer/contract.html
(Although I see that the page ends abruptly with "Error extracting file: Error code 2 - A generic error in the zipfile format was detected." - let's hope that this is an intermittent error.)
Yes, this works now. I can see the entire page with all tests. All my failure markups show correctly too. Thanks a lot for fixing this! --Lorenzo