fix: make import resolution case-sensitive on all platforms

Open Kha opened this issue 1 year ago • 1 comments

Jun 23 '24 09:06 Kha

Mathlib CI status (docs):

🟡 Mathlib branch lean-pr-testing-4538 build this PR didn't complete normally. (2024-06-23 09:41:24) View Log
✅ Mathlib branch lean-pr-testing-4538 has successfully built against this PR. (2024-06-23 15:54:54) View Log
🟡 Mathlib branch lean-pr-testing-4538 build this PR didn't complete normally. (2024-07-26 09:18:26) View Log
🟡 Mathlib branch lean-pr-testing-4538 build this PR didn't complete normally. (2024-07-31 16:52:31) View Log

Jun 23 '24 09:06 leanprover-community-mathlib4-bot