From 5daba1fbb1c26099092728ad104fe6be67bdeb20 Mon Sep 17 00:00:00 2001
From: Paulo Matos <pmatos@linki.tools>
Date: Mon, 20 Jul 2020 16:57:45 +0200
Subject: [PATCH] If CI is running on release branch, use Chez release (#3303)

---
 .github/workflows/ci-push_linux.yml | 5 +++++
 1 file changed, 5 insertions(+)

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