From 593d5d4870eef10cba340e81362df6e2da9f2390 Mon Sep 17 00:00:00 2001
From: Patrick Ferris <patrick@sirref.org>
Date: Fri, 21 Feb 2025 19:52:16 +0000
Subject: [PATCH] Add CI

---
 .github/workflows/test.yml | 22 ++++++++++++++++++++++
 examples/hey.ml            |  2 +-
 2 files changed, 23 insertions(+), 1 deletion(-)
 create mode 100644 .github/workflows/test.yml

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
new file mode 100644
index 0000000..fe6e6a0
--- /dev/null
+++ b/.github/workflows/test.yml
@@ -0,0 +1,22 @@
+name: Void Test
+on:
+  - push
+  - pull_request
+permissions: read-all
+jobs:
+  build:
+    strategy:
+      fail-fast: false
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout tree
+        uses: actions/checkout@v4
+
+      - name: Set-up OCaml
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: 5
+
+      - run: opam install . --deps-only --with-test
+      - run: opam exec -- dune build
+      - run: sudo ./_build/examples/hey.exe
diff --git a/examples/hey.ml b/examples/hey.ml
index 2883793..ae6dbe2 100644
--- a/examples/hey.ml
+++ b/examples/hey.ml
@@ -19,4 +19,4 @@ let () =
   in
   let t = Void.spawn ~sw void in
   let status = Promise.await (Void.exit_status t) in
-  Eio.traceln "Void process exited with %s" (Void.exit_status_to_string status)
+  Eio.traceln "Void process: %s" (Void.exit_status_to_string status)