CI: Fix PR number retrieval on a488af45Commit a488af45 split the PR HTML generation and upload into twoworkflows. Unfortunately, the PR number is only accessible in theworkflow_run workflow if it is from a non-forked repository [1].There are only workarounds and the safest one is copied verbatim from[1].[1] https://github.com/orgs/community/discussions/25220