Skip to content

Conversation

@KochTobi
Copy link
Member

Many thanks for contributing to this project!

PR Checklist
Please fill in the appropriate checklist below (delete whatever is not relevant). These are the most common things requested on pull requests (PRs).

  • This comment contains a description of changes (with reason)
  • Referenced issue is linked
  • If you've fixed a bug or added code that should be tested, add tests!
  • Documentation in docs is updated
  • CHANGELOG.rst is updated

Description of changes
Please state what you've changed and how it might affect the user.

Technical details
Please state any technical details such as limitations, reasons for additional dependencies, benchmarks etc. here.

Additional context
Add any other context or screenshots here.

@KochTobi KochTobi requested a review from a team as a code owner February 24, 2022 08:12
@github-actions github-actions bot added the chore label Feb 24, 2022
@jenniferboedker jenniferboedker self-assigned this Feb 24, 2022
@KochTobi KochTobi merged commit 2929fab into master Feb 24, 2022
@KochTobi KochTobi deleted the ci/rename-github-actions-jobnames branch February 24, 2022 08:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants