Merge "ci: Use HTML report instead of PDF"