diff --git a/.github/workflows/docker-gnark.yml b/.github/workflows/docker-gnark.yml index f45b2e93e..92dec0878 100644 --- a/.github/workflows/docker-gnark.yml +++ b/.github/workflows/docker-gnark.yml @@ -21,6 +21,7 @@ jobs: [ runs-on, runner=64cpu-linux-arm64, + disk=large, spot=false, "run-id=${{ github.run_id }}", ]