diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-26 11:48:00 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-26 16:26:14 +0200 |
| commit | d3bb6df8d8a728a10dfa6c23328c03824a24f602 (patch) | |
| tree | 46ad3ef9000adb0a28b12993ac64467d9d88e9e5 /test/native/dune | |
| parent | 9a980f417805ee2c0fd913f7fde6e00e8add0159 (diff) | |
feat(native_hello): include Flesh testing
Diffstat (limited to 'test/native/dune')
| -rw-r--r-- | test/native/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/native/dune b/test/native/dune index 895134a..faa247d 100644 --- a/test/native/dune +++ b/test/native/dune @@ -1,3 +1,3 @@ (test (name native_hello) - (libraries portal_tcp markup)) + (libraries portal_tcp markup flesh)) |