Skip to content

Upgrade pandoc to v2 in code-coverage job.#151

Merged
galachad merged 1 commit intomainfrom upgrade-pandoc-versionOct 3, 2023

Commits

Commits on Oct 2, 2023