Hugo Locurcio 0c1797383f Identify pull request builds from GitHub Actions with the PR number ...

This makes it easier to go back to the pull request the build was
made from.

2023-10-16 04:27:53 +02:00

..

action.yml

Identify pull request builds from GitHub Actions with the PR number

2023-10-16 04:27:53 +02:00