Skip to content
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

Pin pint below v0.24 #375

Merged
merged 1 commit into from
Jun 11, 2024
Merged

Pin pint below v0.24 #375

merged 1 commit into from
Jun 11, 2024

Conversation

Zeitsperre
Copy link
Member

@Zeitsperre Zeitsperre commented Jun 11, 2024 •
edited
Loading

@Zeitsperre Zeitsperre requested a review from huard June 11, 2024 13:49
@Zeitsperre Zeitsperre self-assigned this Jun 11, 2024
@coveralls
Copy link

Coverage Status

coverage: 81.678%. remained the same
when pulling d1582dc on pin-pint
into 9fbb1e4 on master.

@Zeitsperre Zeitsperre requested review from tlvu June 11, 2024 14:54
tlvu
tlvu approved these changes Jun 11, 2024
View reviewed changes
Copy link
Collaborator

@tlvu tlvu left a comment

Choose a reason for hiding this comment

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

easy one :D

@Zeitsperre Zeitsperre merged commit 81a602e into master Jun 11, 2024
14 checks passed
@Zeitsperre Zeitsperre deleted the pin-pint branch June 11, 2024 17:18
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@huard huard Awaiting requested review from huard

@tlvu tlvu Awaiting requested review from tlvu

Assignees

@Zeitsperre Zeitsperre

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Zeitsperre @coveralls @tlvu