ci: make pdf-verify manual-only#1

inaciovasquez2020 merged 1 commit intomaininaciovasquez2020/terminal-rigidity-witness-erb:mainfrom

ci/manual-pdf-verifyinaciovasquez2020/terminal-rigidity-witness-erb:ci/manual-pdf-verifyCopy head branch name to clipboard