Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[CI] Single job on PRs only #4814

Merged
merged 1 commit into from
Jun 25, 2022

Conversation

talregev
Copy link
Contributor

Single job on PRs only.

From here:
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-using-a-fallback-value

If you build the group name with a property that is only defined for specific events, you can use a fallback value. For example, github.head_ref is only defined on pull_request events. If your workflow responds to other events in addition to pull_request events, you will need to provide a fallback to avoid a syntax error. The following concurrency group cancels in-progress jobs or runs on pull_request events only; if github.head_ref is undefined, the concurrency group will fallback to the run ID, which is guaranteed to be both unique and defined for the run.

concurrency: 
  group: ${{ github.head_ref || github.run_id }}
  cancel-in-progress: true

@talregev talregev force-pushed the TalR/single_job_on_prs_only branch from a6c44f0 to d73c7d6 Compare June 25, 2022 11:32
@talregev talregev force-pushed the TalR/single_job_on_prs_only branch from d73c7d6 to 1578723 Compare June 25, 2022 11:47
@AenBleidd AenBleidd self-assigned this Jun 25, 2022
@AenBleidd AenBleidd added this to the Client 7.22.0 milestone Jun 25, 2022
@AenBleidd AenBleidd merged commit 11d8ea4 into BOINC:master Jun 25, 2022
@talregev talregev deleted the TalR/single_job_on_prs_only branch June 25, 2022 14:03
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.

2 participants