mirage/mirage: PR #1631: Make opam-monorepo invocations a bit more verbose

@cea0834

Stages:

• ✔️ x86_64-debian-13-4.14 (4m22s)
• ✔️ arm64-debian-13-4.14 (4m12s)
• ✔️ x86_64-debian-13-5.3 (14m37s)
• ✔️ arm64-debian-13-5.3 (5m08s)
• ✔️ x86_64-debian-13-5.4 (17m49s)
• ✔️ arm64-debian-13-5.4 (7m36s)

History:

• 02/03/2026 08:10 ✔️ @cea0834 (24m07s)