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

Sign in to view logs

Triggered via push October 22, 2024 03:28

jgm

main

Status Success

Total duration 23m 46s

Artifacts –

ci.yml

on: push

linux-nix-cabal

Matrix: linux