Skip to content

Commit

Permalink
Use xargs instead of parallel
Browse files Browse the repository at this point in the history
Parallel was hanging for some reason
  • Loading branch information
shonfeder committed Jan 1, 2025
1 parent 325a10d commit 459b4d1
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -39,4 +39,8 @@ jobs:
# Get the names of the packages being added to the archive, and feed these
# to opam-ci-check
- name: Lint newly archived packages
run: git diff --name-only origin/main packages | sed 's:.*/\(.*\)/opam:\1:' | parallel opam exec -- opam-ci-check lint -r . --checks=archive-repo
run: |
git diff --name-only origin/main packages \
| sed 's:.*/\(.*\)/opam:\1:' \
| xargs --max-lines=1 --max-procs=4 opam exec -- opam-ci-check lint -r . --checks=archive-repo \
| grep "Error in"

0 comments on commit 459b4d1

Please sign in to comment.