diff --git a/.github/scripts/run_with_env_secrets.py b/.github/scripts/run_with_env_secrets.py index 8a0e63ded7..15afd38221 100644 --- a/.github/scripts/run_with_env_secrets.py +++ b/.github/scripts/run_with_env_secrets.py @@ -78,6 +78,7 @@ def main(): --shm-size=2g \ --tty \ --ulimit stack=10485760:83886080 \ + --ulimit core=0 \ { os.environ.get('GPU_FLAG', '') } \ -v "{ os.environ.get('GITHUB_WORKSPACE', '') }/{ os.environ.get('REPOSITORY', '') }:/{ os.environ.get('REPOSITORY', 'work') }" \ -v "{ os.environ.get('GITHUB_WORKSPACE', '') }/test-infra:/test-infra" \