CI: streamline for release

Signed-off-by: Marcello Seri <[email protected]>
mseri · Feb 3, 2022 · 4e8ca03 · 4e8ca03
1 parent 0763a91
commit 4e8ca03
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -90,6 +90,7 @@ jobs:
           opam exec -- dune build @fmt
       
       - name: Run tests
+        if: ${{ !startsWith(github.ref, 'refs/tags/') }}
         run: opam exec -- dune runtest
 
       - name: Build