Back
mirage/mirage: PR #1504: Add line locations to device connect functions
@c6c22ec
06/03/2024 19:53Link to Github
To use that feature, simply mention target PR in the original PR's description.
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 (7m07s)
- ✔️ arm64-debian-10-4.13 (5m31s)
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