mirror of
https://gitlab.freedesktop.org/pipewire/media-session.git
synced 2026-05-07 05:18:12 +02:00
ci: fix the reserve.c sync job
Bash || and && precedence is not what I expected
This commit is contained in:
parent
a54e2e4cfb
commit
fe2ed1af89
1 changed files with 1 additions and 1 deletions
|
|
@ -231,7 +231,7 @@ reserve.c sync:
|
|||
curl https://gitlab.freedesktop.org/pipewire/pipewire/-/raw/master/src/tools/reserve.c > src/reserve.c
|
||||
- >-
|
||||
curl https://gitlab.freedesktop.org/pipewire/pipewire/-/raw/master/src/tools/reserve.h > src/reserve.h
|
||||
- git diff --exit-code || echo "WARNING - reserve.{c|h} should be kept in sync with PipeWire" && exit 1
|
||||
- git diff --exit-code || (echo "WARNING - reserve.{c|h} should be kept in sync with PipeWire" && exit 1)
|
||||
allow_failure: true
|
||||
|
||||
spellcheck:
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue