diff --git a/examples/dune b/examples/dune
index 8881239d..40e298c8 100644
--- a/examples/dune
+++ b/examples/dune
@@ -58,6 +58,13 @@
 (rule
  (copy varray_spec.mli varray_circular_spec.mli))
 
+(rule
+ (alias runtest)
+ (package ortac-examples)
+ (targets varray_circular_spec.gospel)
+ (action
+  (run %{bin:gospel} check %{dep:varray_circular_spec.mli})))
+
 (library
  (name varray_circular_spec)
  (modules varray_circular_spec)