chore: fix ci typecheck #247

[trunk-io[bot]]

Merging to main in this repository is managed by Trunk.

• [ ] To merge this pull request, check the box to the left or comment /trunk merge below.

[trunk-io[bot]]

⏱️ 3m total CI duration on this PR

Job	Cumulative Duration	Recent Runs
typecheck	1m	🟥 🟥
lint	1m	🟩 🟩
format	56s	🟩 🟩

_{settings ⋅ feedback ⋅ docs ⋅ learn more about trunk.io}

[vercel[bot]]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
mai	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Apr 15, 2024 4:04pm
web	❌ Failed (Inspect)			Apr 15, 2024 4:04pm

1 Ignored Deployment

| Name | Status | Preview | Comments | Updated (UTC) | | :--- | :----- | :------ | :------- | :------ | | **coco** | ⬜️ Ignored ([Inspect](https://vercel.com/yocxo/coco/CjGec1DPA64wENdU4RVyLBouC7Ci)) | [Visit Preview](https://coco-git-srizvi-issue247-force-yocxo.vercel.app) | | Apr 15, 2024 4:04pm |