Upload PDFs built in workflow

[pzygielo]

No description provided.

[OndroMih]

If only the PDFs could be updloaded individually, not just as a ZIP file with all of them. It's a known issue that the actions/upload-artifact action doesn't support that, a pity. But better than nothing :)

It's possible to download the PDFs like this:

• click details on the workflow for building PDFs (it will be easier to find the right workflow with Display GitHub workflow names in pull requests #25654)
• click Summary in the left sidebar
• scroll down to Artifacts and download the docs-pdfs zip file, unpack and open a PDF locally

[pzygielo]

If only the PDFs could be updloaded individually, not just as a ZIP file with all of them. It's a known issue that the actions/upload-artifact action doesn't support that, a pity.

Yeah, even if we'd enumerate all of them for the separate artifacts - the action would zip them, and we'd end up with several archives to work with. 😞

Let's wait for:

• [feat req] Non-zip artifacts actions/upload-artifact#426

[pzygielo]

If only the PDFs could be updloaded individually,

😮 https://github.com/actions/upload-artifact/releases/tag/v7.0.0

Direct Uploads

Adds support for uploading single files directly (unzipped). Callers can set the new archive parameter to false to skip zipping the file during upload. Right now, we only support single files. The action will fail if the glob passed resolves to multiple files. The name parameter is also ignored with this setting. Instead, the name of the artifact will be the name of the uploaded file.

[OndroMih]

@pzygielo , we would need to copy the action for each PDF. Is it worth the effort?