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

Add mrgIfPropagatedStrategy #184

Merged

lsrcz merged 4 commits into main from union-if-propagated

Mar 15, 2024

Merged

Add mrgIfPropagatedStrategy #184

:art: Use GADTs to circumvent the formatting issues with ormolu

GitHub Actions / Tests-ubuntu-latest-stack-981 succeeded Mar 15, 2024 in 0s

2927 passed, 0 failed and 0 skipped

✔️ test-report.xml

2927 tests were completed in 0ms with 2927 passed, 0 failed and 0 skipped.

Test suite	Passed	Failed	Skipped	Time
test-framework tests	2927✔️			0ms

View more details on GitHub Actions