From 3ef9cc07e7d1bca5ccff8f3dbeac359e7de76016 Mon Sep 17 00:00:00 2001 From: Morgan Bazalgette Date: Tue, 26 Nov 2024 16:09:09 +0100 Subject: [PATCH] comment workflow exception --- .github/workflows/gnovm.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gnovm.yml b/.github/workflows/gnovm.yml index 8311d113047..44206627124 100644 --- a/.github/workflows/gnovm.yml +++ b/.github/workflows/gnovm.yml @@ -14,7 +14,7 @@ jobs: with: modulepath: "gnovm" # in pull requests, append -short so that the CI runs quickly. - tests-extra-args: ${{ github.event_name == 'pull_request' && '-short' || '' }} + #tests-extra-args: ${{ github.event_name == 'pull_request' && '-short' || '' }} secrets: codecov-token: ${{ secrets.CODECOV_TOKEN }} fmt: