mirage/mirage: PR #1529: Mirage time defunctorised

@d6b5d15

18/09/2024 20:07

Link to Github

Friend PRs

This PR is tested along with the following PRs:

mirage/mirage-skeleton: PR #394: mirage-time is now variant :)

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

Stages:

❌ x86_64-debian-10-4.13 (5m41s)
❌ arm64-debian-10-4.13 (2m28s)

History:

18/09/2024 20:07 ❌ @d6b5d15 (26m01s)
18/05/2024 11:47 ❌ @c6e6b8a (7m09s)
18/05/2024 11:41 ❌ @0976ac9 (23s)
18/05/2024 11:20 ❌ @a6bd5b1 (29s)
09/05/2024 19:02 ❌ @b5752f5 (3m40s)
07/05/2024 15:21 ❌ @c2ce2a3 (2m45s)