PDF: use .source extension, not .html, in `toPdfViaTempFile`. #6146

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux-nix-cabal	8m 51s
linux (8.10, latest)	21m 14s
windows	5m 45s
linux (9.0, latest)	23m 35s
linux-stack	17m 31s
linux (9.2, latest)	17m 18s
linux (9.4, latest)	10m 46s
linux (9.6, latest)	9m 22s
	1h 54m 22s