mirage/mirage: PR #1404: Deprecate build

@cb2d0ec

02/03/2023 15:06

Link to Github

Stages:

❌ x86_64-debian-10-4.13 (15m53s)
❌ arm64-debian-10-4.13 (2m14s)

History:

06/07/2023 13:14 ✔️ @088f8a9 (13h44m)
02/03/2023 15:06 ❌ @cb2d0ec (15m53s)