From ea670bbfc740e33ccc7493a2ebf29097f6eef7f9 Mon Sep 17 00:00:00 2001 From: Christoph Reiter Date: Mon, 3 Jul 2023 09:16:19 +0200 Subject: [PATCH] don't write a pypi.json.gz file if curl fails --- .github/workflows/generate-srcinfo.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/generate-srcinfo.yml b/.github/workflows/generate-srcinfo.yml index 10bb6eafe9..1af9303662 100644 --- a/.github/workflows/generate-srcinfo.yml +++ b/.github/workflows/generate-srcinfo.yml @@ -40,7 +40,7 @@ jobs: # makepkg requires strip in PATH even if it wont be used touch /usr/bin/strip.exe curl --fail -L --retry 5 -o srcinfo.json.gz "https://github.com/$GITHUB_REPOSITORY/releases/download/srcinfo-cache/srcinfo.json.gz" - curl -L --retry 5 -o pypi.json.gz "https://github.com/$GITHUB_REPOSITORY/releases/download/srcinfo-cache/pypi.json.gz" + curl --fail -L --retry 5 -o pypi.json.gz "https://github.com/$GITHUB_REPOSITORY/releases/download/srcinfo-cache/pypi.json.gz" || true - name: Parse PKGBUILDs and update srcinfo.json.gz run: |