Skip to content

Conversation

@stoyanK7
Copy link
Contributor

Resolves #12853 (comment)

The workflow uses this group
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}

But this workflow context does not have github.event.pull_request.number, rather github.event.issue.number so it falls back to github.ref.

Print of new concurrency group:
https://github.com/stoyanK7/checkstyle/actions/runs/4578224927/jobs/8084568564#step:4:8

Site-62

Old one was Site-refs/heads/master.

Copy link
Member

@romani romani left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ok to merge

@romani romani merged commit 2ea1378 into checkstyle:master Mar 31, 2023
@github-actions github-actions bot added this to the 10.9.4 milestone Mar 31, 2023
@stoyanK7 stoyanK7 deleted the pull/12941-site-concurrency-group branch April 1, 2023 07:41
Sloent pushed a commit to Sloent/checkstyle that referenced this pull request Apr 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Generate site workflow should provide more specific links

2 participants