Tidy up PDF pull request

Clarify that `@RG PI` values are integers #19

Sign in to view logs

Summary
Jobs
- clean
Run details
- Usage
- Workflow file

Triggered via pull request May 23, 2023 19:41

jmarshall

closed #721

Status Success

Total duration 11s

Artifacts –

pr-pdfs-close.yaml

on: pull_request_target