gazagnaire.org
Example mirage-eio unikernels
unikernels: refresh registry coverage note
Match the committed generated Dune registry with the current Mirage generator output.
author
Thomas Gazagnaire
date
(Jul 16, 2026, 10:03 PM UTC)
commit
4b79db7c
4b79db7c1d699cbb131c3cc5e1e338fa0704488d
parent
6f3c5339
6f3c53396ee515b1052b89b4c69e468f80aaf991
+2
-2
+2
-2
bin/gen/dune
+2
-2
bin/gen/dune
···
35
35
(action
36
36
(diff dune dune.gen)))
37
37
38
-
; Coverage. Every unikernel above carries a README, a cram test that boots it,
39
-
; and a GIF recorded from that cram.
38
+
; Coverage. Every unikernel above should carry a README, a cram test that
39
+
; boots it, and a GIF recorded from that cram. All of them do.
40
40
41
41
(rule
42
42
(target detect.dune.gen)