Update workflow with correct PDF name

The name of the PDF was still set to the template's "example-spec.pdf".
This updates it to the name of the current output file.

Signed-off-by: Stephano Cetola <scetola@linuxfoundation.org>