Closed jenshalm closed 9 months ago
mdoc does no longer support Java 8 and the "Build Manual" step previously ran twice anyway (with Java 8 + 17) which is not necessary. This PR changes CI to run mdoc only with Java 17.
mdoc does no longer support Java 8 and the "Build Manual" step previously ran twice anyway (with Java 8 + 17) which is not necessary. This PR changes CI to run mdoc only with Java 17.