From 113d7faafa7ca351452cd6b63f1146f9a96c0ae1 Mon Sep 17 00:00:00 2001 From: dimgigov Date: Wed, 13 May 2026 13:07:32 +0300 Subject: [PATCH] debug(ci): run join_tests and tla_faithfulness separately --- .github/workflows/debug.yml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.github/workflows/debug.yml b/.github/workflows/debug.yml index 8951fe2..3a44269 100644 --- a/.github/workflows/debug.yml +++ b/.github/workflows/debug.yml @@ -27,6 +27,12 @@ jobs: nim --version echo "NIM_OK=1" + - name: Run join_tests + run: 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 + - name: Compile test_all run: nim c -d:ssl --threads:on --path:src tests/test_all.nim @@ -34,7 +40,7 @@ jobs: run: ./tests/test_all > test_all.log 2>&1 - name: Upload test_all log to repo - if: always() + if: failure() env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: |