chore: Include --ir-minimum flag in forge coverage doc
#1900
| Job | Run time |
|---|---|
| 25s | |
| 25s |
--ir-minimum flag in forge coverage doc
#1900
| Job | Run time |
|---|---|
| 25s | |
| 25s |