I have my workflow jobs set to skip if a particular label isn’t set on a PR:
if: "github.event_name != 'pull_request' || (github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'run extra jobs'))"
Which works fine if the label is already there, however If I first run the workflow with the label absent, and then add the label & re-try the workflow, github.event.pull_request.labels hasn’t registered that the label has now been added to the PR, and so the job is still skipped.
Is there a way to rectify this problem?