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.

Sign up for GitHub

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

Jump to bottom

Update failed wheel notifier #1028

Merged
merged 1 commit into from
Aug 16, 2024
Merged

Update failed wheel notifier #1028

merged 1 commit into from
Aug 16, 2024

Conversation

dime10
Copy link
Contributor

@dime10 dime10 commented Aug 16, 2024

No description provided.

@dime10 dime10 added the CI Pull requests that update CIs label Aug 16, 2024
@dime10 dime10 requested a review from rmoyard August 16, 2024 14:53
@github-actions GitHub Actions
Copy link
Contributor

Hello. You may have forgotten to update the changelog!
Please edit doc/changelog.md on your branch with:

  • A one-to-two sentence description of the change. You may include a small working example for new features.
  • A link back to this PR.
  • Your name (or GitHub username) in the contributors section.

@dime10 dime10 merged commit 40a9ee9 into main Aug 16, 2024
44 of 65 checks passed
@dime10 dime10 deleted the dime10-patch-2 branch August 16, 2024 15:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@rauletorresc rauletorresc rauletorresc approved these changes

@rmoyard rmoyard Awaiting requested review from rmoyard

Assignees
No one assigned
Labels
CI Pull requests that update CIs
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dime10 @rauletorresc