Skip to content

ci: fix cancel runs for already merged PRs - #1185

Merged
shumkov merged 1 commit into
masterfrom
ci/fix_cancel_runs
Jun 22, 2023
Merged

shumkov merged 1 commit into
masterfrom
ci/fix_cancel_runs

Conversation

@shumkov

@shumkov shumkov commented Jun 21, 2023 •

Copy link
Copy Markdown
Collaborator

Issue being fixed or feature implemented

#1179 code based on outdated API

What was done?

  • Update "cancel runs for merged PRs" job to use current Github API

How Has This Been Tested?

None

Breaking Changes

None

Checklist:

  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have added or updated relevant unit/integration/functional/e2e tests
  • I have made corresponding changes to the documentation

For repository code-owners and collaborators only

  • I have assigned this pull request to a milestone

@shumkov
shumkov changed the base branch from v0.25-dev to master June 21, 2023 16:30
@shumkov shumkov changed the title ci/fix_cancel_runs ci: fix cancel runs for already merged PRs Jun 22, 2023
@shumkov shumkov added this to the v0.24.x milestone Jun 22, 2023
@shumkov
shumkov marked this pull request as ready for review June 22, 2023 05:36
@shumkov
shumkov requested a review from antouhou as a code owner June 22, 2023 05:36

@strophy strophy left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM

@shumkov
shumkov merged commit d574b29 into master Jun 22, 2023
@shumkov
shumkov deleted the ci/fix_cancel_runs branch June 22, 2023 09:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants