[ci] replace tee with awk
This commit is contained in:
parent
ec62b65ecd
commit
4754869190
@ -14,6 +14,8 @@ tasks:
|
|||||||
- lint: |
|
- lint: |
|
||||||
make -C undocker -O -j$(nproc) lint
|
make -C undocker -O -j$(nproc) lint
|
||||||
- usage: |
|
- usage: |
|
||||||
./undocker/undocker |& tee /dev/stderr | grep -q "Built with "
|
# like 'grep -q', but prints output too.
|
||||||
|
# | tee /dev/stderr doesn't work on sourcehut workers; permission denied.
|
||||||
|
./undocker/undocker |& awk 'BEGIN{c=1};/Built with /{c=0};{print};END{exit c}'
|
||||||
artifacts:
|
artifacts:
|
||||||
- undocker/coverage.html
|
- undocker/coverage.html
|
||||||
|
Loading…
Reference in New Issue
Block a user