mirage/mirage: PR #1504: Add line locations to device connect functions

@2589842

07/03/2024 14:20

Link to Github

Friend PRs

This PR is tested along with the following PRs:

mirage/mirage-skeleton: PR #385: Adapt to API changes for Device.connect

To use that feature, simply mention target PR in the original PR's description.

Stages:

✔️ x86_64-debian-10-4.13 (7m02s)
✔️ arm64-debian-10-4.13 (5m12s)

History:

07/03/2024 14:20 ✔️ @2589842 (7m02s)
07/03/2024 14:12 ✔️ @b3f1500 (6m58s)
07/03/2024 14:03 ✔️ @3dbd44e (7m07s)
07/03/2024 13:57 🟠 @9ef1353 (5m18s)
07/03/2024 13:48 ✔️ @9abd60e (7m08s)
07/03/2024 12:03 ✔️ @d63524d (10m42s)
07/03/2024 11:58 🟠 @fce3406 (4m07s)
07/03/2024 11:57 🟠 @d9a157d
07/03/2024 11:53 🟠 @57ca2f5 (4m15s)
07/03/2024 11:43 ✔️ @a418bf1 (7m27s)
07/03/2024 11:41 🟠 @8adbe1b
07/03/2024 11:39 🟠 @237b52b
07/03/2024 09:58 ✔️ @22a3ed5 (7m06s)
07/03/2024 09:31 ✔️ @281cd8e (7m03s)
06/03/2024 21:46 ✔️ @30527fb (6m56s)
06/03/2024 19:53 ✔️ @c6c22ec (7m07s)
06/03/2024 16:48 ❌ @93f2a00 (5m19s)
06/03/2024 16:00 ❌ @5c61974 (5m29s)
06/03/2024 16:00 🟠 @730125a