mirage/mirage: PR #1544: job with no arguments, check a bit more thoroughly

@5673c43

Stages:

• ✔️ x86_64-debian-10-4.13 (16m38s)
• ✔️ arm64-debian-10-4.13 (9m51s)

History:

• 09/06/2024 15:30 ✔️ @5673c43 (2h33m)
• 27/05/2024 13:16 ❌ @9e4da18 (15m14s)
• 27/05/2024 11:43 ✔️ @97d7e62 (6m00s)
• 27/05/2024 11:35 ❌ @4cf919d (4m26s)