Skip to content

Conversation

oseoin
Copy link
Contributor

@oseoin oseoin commented Jul 1, 2024

Proposed changes

This means that we do not try to run the job if a new job replaces the current one.

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch from my own fork

@oseoin oseoin requested a review from a team as a code owner July 1, 2024 09:49
@github-actions github-actions bot added github_actions Pull requests that update Github_actions code chore Pull requests for routine tasks labels Jul 1, 2024
@oseoin oseoin enabled auto-merge (squash) July 1, 2024 09:56
@oseoin oseoin merged commit ee25a83 into main Jul 1, 2024
@oseoin oseoin deleted the remove-always-ci branch July 1, 2024 10:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Pull requests for routine tasks github_actions Pull requests that update Github_actions code
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

5 participants