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

Fix button equality #7

Merged
merged 5 commits into from
Nov 9, 2021
Merged

Fix button equality #7

merged 5 commits into from
Nov 9, 2021

Conversation

ctreffs
Copy link
Member

@ctreffs ctreffs commented Nov 9, 2021

Description

  • Fix button equality
  • Use Mint
  • Make warnings into TODOs
  • Cleanups

Checklist

  • I've read the Contribution Guidelines
  • I've followed the coding style of the rest of the project.
  • I've added tests covering all new code paths my change adds to the project (to the extent possible).
  • I've added benchmarks covering new functionality (if appropriate).
  • I've verified that my change does not break any existing tests or introduce unexpected benchmark regressions.
  • I've updated the documentation (if appropriate).

@ctreffs ctreffs added the bug Something isn't working label Nov 9, 2021
@ctreffs ctreffs self-assigned this Nov 9, 2021
@ctreffs ctreffs added the ci-all label Nov 9, 2021
@ctreffs ctreffs merged commit 3aedd0e into main Nov 9, 2021
@ctreffs ctreffs deleted the fix-button-euqality branch November 9, 2021 19:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working ci-all
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant