Merge pull request #9 from ocurrent/enable-mirage-3-skeleton

Enable testing mirage-skeleton for mirage 3
ocurrent · Oct 20, 2021 · c8f85a7 · c8f85a7
2 parents 539750b + 9425a45
commit c8f85a7
Show file tree

Hide file tree

Showing 9 changed files with 79 additions and 282 deletions.
diff --git a/src/lib/mirage/dune b/src/lib/mirage/dune
diff --git a/src/lib/mirage/mirage.ml b/src/lib/mirage/mirage.ml
diff --git a/src/lib/mirage/mirage.mli b/src/lib/mirage/mirage.mli
diff --git a/src/lib/mirage/skeleton.ml b/src/lib/mirage/skeleton.ml
diff --git a/src/lib/mirage/skeleton.mli b/src/lib/mirage/skeleton.mli