From 03192e548784f1d50dbf2068e070f9b3a5c5c9be Mon Sep 17 00:00:00 2001
From: Christian Mouchet <christian.mouchet@epfl.ch>
Date: Tue, 12 Nov 2019 10:39:14 +0100
Subject: [PATCH] added examples to test pipeline

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 23c6f128..67c59891 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,9 @@ test_lint:
 	}
 
 test_local:
-	go test -v -race -short -p=1 ./...
+	go test -v -race -short -p=1 ./... -timeout=0
+	go run ./examples/bfv/examples_bfv.go
+	go run ./examples/ckks/examples_ckks.go
 
 test: test_fmt test_local