mirage/mirage: PR #1314: Rename ocaml-freestanding to ocaml-solo5

@86d7faa

25/03/2022 14:42

Link to Github

Friend PRs

This PR is tested along with the following PRs:

mirage/mirage-dev: PR #387: Rename the freestanding context to solo5 for mirage-{console,net,block}-solo5

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

Stages:

🟠 x86_64-debian-10-4.13
🟠 arm64-debian-10-4.13

History:

25/03/2022 16:19 ✔️ @1d31816 (19m32s)
25/03/2022 16:02 🟠 @3a7f4fe
25/03/2022 14:42 🟠 @86d7faa
25/03/2022 14:37 ❌ @39b65ec (2m25s)
25/03/2022 13:27 🟠 @33f9f0b (4m47s)
25/03/2022 13:24 🟠 @9b8bf87
25/03/2022 13:21 🟠 @c4d1231
25/03/2022 13:20 🟠 @72fb71f
24/03/2022 14:00 ❌ @8d56c49 (6m58s)