mirage/mirage: PR #1623: Correctly compare package pins when merging

@08a884a

20/11/2025 15:01

Link to Github

Stages:

✔️ x86_64-debian-13-4.14 (4m11s)
✔️ arm64-debian-13-4.14 (3m51s)
✔️ x86_64-debian-13-5.3 (4m39s)
✔️ arm64-debian-13-5.3 (4m58s)
❌ x86_64-debian-13-5.4 (4m32s)
❌ arm64-debian-13-5.4 (7m40s)

History:

20/11/2025 15:01 ❌ @08a884a (7m40s)