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.

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

Test that correct value is returned for height change #2164

Merged
merged 1 commit into from
Jul 29, 2024
Merged

Conversation

qwandor
Copy link
Collaborator

@qwandor qwandor commented Jun 24, 2024

No description provided.

Copy link
Collaborator

@djmitche djmitche left a comment

Choose a reason for hiding this comment

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

Can we make a change like this to a third-party file?

@mgeisler
Copy link
Collaborator

Can we make a change like this to a third-party file?

Yes, my understanding is that this is okay. The third_party directory is there to mark the files as not originally authored by us, but the files don't have to be a pristine copy of upstream.

@mgeisler
Copy link
Collaborator

An unrelated point is that I think we could replace this exercise with a similar exercise written from scratch. Fewer third-party files simplifies things a little bit in my opinion.

@qwandor qwandor enabled auto-merge (squash) July 23, 2024 11:58
@fw-immunant
Copy link
Collaborator

Copy link
Collaborator

@djmitche djmitche left a comment

Choose a reason for hiding this comment

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

I suspect this will lead to a discussion of why == isn't defined for floats!

@qwandor qwandor merged commit 32230f1 into main Jul 29, 2024
35 checks passed
@qwandor qwandor deleted the qwandor-patch-1 branch July 29, 2024 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants