diff --git a/.github/workflows/ci-push_linux.yml b/.github/workflows/ci-push_linux.yml index 89f15f382b..80939d8c86 100644 --- a/.github/workflows/ci-push_linux.yml +++ b/.github/workflows/ci-push_linux.yml @@ -165,7 +165,12 @@ jobs: - name: Untar working-directory: /usr/local run: tar -xvjf /tmp/racketcgc-debian10-nocify-x64_git${{ github.sha}}.tar.bz2 + - name: Checking out ChezScheme Release + if: github.ref == 'refs/heads/release' + working-directory: ./racket/src + run: git clone --single-branch --branch release --depth=1 --recurse-submodules -j3 https://github.com/racket/ChezScheme - name: Checking out ChezScheme + if: github.ref != 'refs/heads/release' working-directory: ./racket/src run: git clone --depth=1 --recurse-submodules -j3 https://github.com/racket/ChezScheme - name: Configuring Racket CS