Skip to content
Back to pull request #1819

improve exhaustiveness check by attempting each guard as the consequent #3142

Sign in to view logs

improve exhaustiveness check by attempting each guard as the consequent

improve exhaustiveness check by attempting each guard as the consequent #3142

test (test-lib, suiteb, ubuntu-22.04, false)

test (test-lib, suiteb, ubuntu-22.04, false)
succeeded Mar 1, 2025 in 7m 12s