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

@9e4da18

Stages:

• ❌ x86_64-debian-10-4.13 (5m36s)
• ❌ arm64-debian-10-4.13 (4m02s)

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)