Trial: update cats #12357

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.

Sign up for GitHub

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

Jump to bottom

Closed

griggt wants to merge 1 commit into scala:master from griggt:try/update-cats

Contributor

griggt commented May 6, 2021 •

edited

Loading

Demonstrate #12358


          update cats

dde1317

griggt mentioned this pull request

Can't build upstream cats with recent nightlies #12358

Closed

liufengyun mentioned this pull request

Fix #12358: Avoid spurious unions in simplification #12367

Merged

griggt closed this

Contributor Author

griggt commented May 12, 2021

Superseded by #12431

griggt deleted the try/update-cats branch

August 12, 2021 23:49

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet