diff --git a/.github/workflows/generate-srcinfo.yml b/.github/workflows/generate-srcinfo.yml index 71ec4a29..25bfca77 100644 --- a/.github/workflows/generate-srcinfo.yml +++ b/.github/workflows/generate-srcinfo.yml @@ -27,6 +27,8 @@ jobs: update: true - run: | + # XXX: linting PKGBUILDs takes a loooong time, this skips it + sed -i s/^lint_pkgbuild/#lint_pkgbuild/g /usr/bin/makepkg curl --fail -L --retry 5 -o srcinfo.json "https://github.com/$GITHUB_REPOSITORY/releases/download/srcinfo-cache/srcinfo.json" python .ci/ci-generate-srcinfo.py --time-limit 19800 msys . srcinfo.json