diff --git a/.github/workflows/production.yml b/.github/workflows/production.yml index 73fdd649..7c4956b8 100644 --- a/.github/workflows/production.yml +++ b/.github/workflows/production.yml @@ -5,6 +5,10 @@ on: branches: - main +env: + TREE_DEPTH: 20 + ALL_SNARK_ARTIFACTS: false + jobs: style: runs-on: ubuntu-latest diff --git a/.github/workflows/pull-requests.yml b/.github/workflows/pull-requests.yml index d9e0e7f7..1a94ec74 100644 --- a/.github/workflows/pull-requests.yml +++ b/.github/workflows/pull-requests.yml @@ -3,6 +3,10 @@ name: pull-requests on: pull_request: +env: + TREE_DEPTH: 20 + ALL_SNARK_ARTIFACTS: false + jobs: style: runs-on: ubuntu-latest