Skip to content
Specification

Fix problems in checking that a constructor is uninhabited for exhaustive match checking #8582

Sign in to view logs

Fix problems in checking that a constructor is uninhabited for exhaustive match checking

Fix problems in checking that a constructor is uninhabited for exhaustive match checking #8582

Run time

Learn about OS pricing on GitHub Actions
Job Run time
specification
1m 26s
1m 26s