Skip to content

Try to make the CI status more robust #59

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Merged
merged 1 commit into from
Feb 1, 2024
Merged

Try to make the CI status more robust #59

merged 1 commit into from
Feb 1, 2024

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Feb 1, 2024

No description provided.

@cuviper
Copy link
Member Author

cuviper commented Feb 1, 2024

There's a typo in ci.yaml that didn't stop the merge before: #58 (comment)

I'm going to try the merge queue without fixing that to make sure it's now caught.

@cuviper cuviper added this pull request to the merge queue Feb 1, 2024
Merged via the queue into rust-num:master with commit 9b4acd7 Feb 1, 2024
@cuviper
Copy link
Member Author

cuviper commented Feb 1, 2024

Nope! I guess success() doesn't look at needs results. I'll try again...

# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@cuviper