Skip to content

Commit 459b4d1

Browse files
committed
Use xargs instead of parallel
Parallel was hanging for some reason
1 parent 325a10d commit 459b4d1

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

.github/workflows/main.yml

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,4 +39,8 @@ jobs:
3939
# Get the names of the packages being added to the archive, and feed these
4040
# to opam-ci-check
4141
- name: Lint newly archived packages
42-
run: git diff --name-only origin/main packages | sed 's:.*/\(.*\)/opam:\1:' | parallel opam exec -- opam-ci-check lint -r . --checks=archive-repo
42+
run: |
43+
git diff --name-only origin/main packages \
44+
| sed 's:.*/\(.*\)/opam:\1:' \
45+
| xargs --max-lines=1 --max-procs=4 opam exec -- opam-ci-check lint -r . --checks=archive-repo \
46+
| grep "Error in"

0 commit comments

Comments
 (0)