CI: don't invoke ci-download-pkgs.sh in release job

The make_archives.py script downloads all archives it needs
hulpke · Dec 18, 2022 · 49d61be · 49d61be
1 parent a626088
commit 49d61be
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -27,7 +27,6 @@ concurrency:
 
 env:
   NO_COVERAGE: 1
-  BOOTSTRAP_MINIMAL: yes
 
 jobs:
   unix:
@@ -82,8 +81,6 @@ jobs:
           BUILD=`head -1 cnf/GAP-VERSION-FILE | cut -d ' ' -f3`
           echo "steps.get-build.outputs.name = ${BUILD}"
           echo "name=${BUILD}" >> $GITHUB_OUTPUT
-      - name: "Download packages"
-        run: dev/ci-download-pkgs.sh
       - name: "Make archives"
         run: python -u ./dev/releases/make_archives.py