From e9670895a8bc969a5944cea9db7faf78c4ed7e94 Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Wed, 20 Nov 2019 23:19:04 +0100 Subject: [PATCH] Use fetch-depth 100 for Racket checkouts (#2920) This speeds up things considerably. No gain to be had for smaller depths. Thanks to @samth for the benchmarks. --- .github/workflows/ci-push.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/ci-push.yml b/.github/workflows/ci-push.yml index 9aeea5db73..88097b1827 100644 --- a/.github/workflows/ci-push.yml +++ b/.github/workflows/ci-push.yml @@ -21,6 +21,8 @@ jobs: steps: - uses: actions/checkout@v1 + with: + fetch-depth: 100 - name: Setup OS specific configure args if: runner.os == 'macOS' run: echo "::set-env name=RACKET_EXTRA_CONFIGURE_ARGS::--enable-macprefix $RACKET_EXTRA_CONFIGURE_ARGS" @@ -77,6 +79,8 @@ jobs: steps: - uses: actions/checkout@v1 + with: + fetch-depth: 100 - name: Setup OS specific configure args if: runner.os == 'macOS' run: echo "::set-env name=RACKET_EXTRA_CONFIGURE_ARGS::--enable-macprefix $RACKET_EXTRA_CONFIGURE_ARGS" @@ -138,6 +142,8 @@ jobs: steps: - uses: actions/checkout@v1 + with: + fetch-depth: 100 - name: Setup OS specific configure args if: runner.os == 'macOS' run: echo "::set-env name=RACKET_EXTRA_CONFIGURE_ARGS::--enable-macprefix $RACKET_EXTRA_CONFIGURE_ARGS"