Add CI timeout

JoeyBF · Nov 25, 2023 · 34c73c3 · 34c73c3
1 parent 8075e0a
commit 34c73c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ext/Makefile b/ext/Makefile
@@ -50,7 +50,7 @@ examples/benchmarks/%-nassau-fixed: dummy
 
 
 examples/benchmarks/%: dummy
-	(head -n 1 $@ && bash -c "echo '' | cargo run --example $$(head -n 1 $@)") | diff --color $@ -
+	(head -n 1 $@ && timeout 30 bash -c "echo '' | cargo run --example $$(head -n 1 $@)" || echo "Timed out") | diff --color $@ -
 
 examples/benchmarks/%-nassau: dummy
 	(head -n 1 $@ && bash -c "echo '' | cargo run --features nassau --example $$(head -n 1 $@)") | diff --color $@ -