diff --git a/scripts/gh_release.py b/scripts/gh_release.py index 78a987390..78f97d33d 100755 --- a/scripts/gh_release.py +++ b/scripts/gh_release.py @@ -88,6 +88,7 @@ import sys import textwrap +import test as test_py pymupdf_dir = os.path.abspath( f'{__file__}/../..') @@ -113,6 +114,9 @@ def main(): v = os.environ[ k] log( f' {k}: {v!r}') + if test_py.github_workflow_unimportant(): + return + valgrind = False if len( sys.argv) == 1: args = iter( ['build'])