-
Notifications
You must be signed in to change notification settings - Fork 7
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.
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
Fix min() so it can be positive #47
base: develop
Are you sure you want to change the base?
Conversation
@Hazurl, sorry I should have marked this as not ready yet. I had not seen your comment and force pushed. Now your comments are gone. |
So, there is a CI error that I cannot reproduce locally. |
@simonask is there anything I can do to get this closer to being merged? |
@simonask sorry for the ping but is there anything I can do to get this closer to being merged? |
I don't fully understand what was the problem in the other case but moving out the && parameter seems to be the better move here anyway.
@simonask I fixed the CI here as well. Would you mind merging this one? |
@simonask sorry for the ping but is there anything I can do to get this closer to being merged? |
@simonask maybe this can be merged in 2024? :) |
No description provided.