Specification states: https://wiki.riscv.org/display/HOME/Specification+States Currently this: https://github.com/riscv/docs-spec-template/blob/main/.github/workflows/build-pdf.yml#L16 Prompted by this: https://github.com/riscv/riscv-zabha/commit/ea4f0a1a5b85d17ba5dd23d32967b7633c3c3c5b