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

refactor: use expect_equal() where relevant #1337

Draft
wants to merge 124 commits into
base: main
Choose a base branch
from
Draft

refactor: use expect_equal() where relevant #1337

wants to merge 124 commits into from

Conversation

maelle
Copy link
Contributor

@maelle maelle commented Apr 8, 2024

Part of #1331

maelle added 30 commits April 8, 2024 14:31
Copy link
Contributor

aviator-app bot commented Apr 8, 2024

Current Aviator status

Aviator will automatically update this comment as the status of the PR changes.
Comment /aviator refresh to force Aviator to re-examine your PR (or learn about other /aviator commands).

This pull request is currently open (not queued).

How to merge

To merge this PR, comment /aviator merge or add the mergequeue label.


See the real-time status of this PR on the Aviator webapp.
Use the Aviator Chrome Extension to see the status of your PR within GitHub.

@maelle maelle changed the title refactor: add test refactoring script refactor: use expect_equal() where relevant Apr 8, 2024
@maelle
Copy link
Contributor Author

maelle commented Apr 8, 2024

The last commit is of particular interest since it adds a tolerance argument to expect_equal() calls that failed. 😅

@maelle maelle marked this pull request as draft April 9, 2024 12:15
@maelle
Copy link
Contributor Author

maelle commented Apr 9, 2024

Do this after merging/closing most of the open PRs. cc @krlmlr

@krlmlr krlmlr added generated ✨ PRs that can easily be regenerated and should be merged last upkeep maintenance, infrastructure, and similar labels Apr 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
generated ✨ PRs that can easily be regenerated and should be merged last upkeep maintenance, infrastructure, and similar
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants