From adf59371983a6994ebfb0a2d28e44ab31baaacc8 Mon Sep 17 00:00:00 2001 From: dimgigov Date: Wed, 13 May 2026 13:10:39 +0300 Subject: [PATCH] debug(ci): add timeout to join_tests --- .github/workflows/debug.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/debug.yml b/.github/workflows/debug.yml index 3a44269..ab53e4d 100644 --- a/.github/workflows/debug.yml +++ b/.github/workflows/debug.yml @@ -28,7 +28,7 @@ jobs: echo "NIM_OK=1" - name: Run join_tests - run: nim c -d:ssl --threads:on --path:src -r tests/join_tests.nim + run: timeout 30 nim c -d:ssl --threads:on --path:src -r tests/join_tests.nim - name: Run tla_faithfulness run: nim c -d:ssl --threads:on --path:src -r tests/tla_faithfulness.nim