From 34c73c31ab7858358b497bac88ba1e992c72aa7e Mon Sep 17 00:00:00 2001 From: Joey Beauvais-Feisthauer Date: Sat, 25 Nov 2023 01:25:39 -0500 Subject: [PATCH] Add CI timeout --- ext/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ext/Makefile b/ext/Makefile index f46b734fd..0d8cb9c33 100644 --- 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 $@ -