Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix names of expected failures for import tests (#2269)
05f93e0 had updated the test logic to remove the `A.dhall` suffix from the test name prefix, but didn't update the names of the expected test failures.
- Loading branch information