1
0
Fork 0

In case it's already here.

Which happen when running on the branch. But when running from a PR
the branch does not exists.
This commit is contained in:
Julien Palard 2023-04-14 13:59:11 +02:00
parent 497dd9aad4
commit 0798ce74be
Signed by: mdk
GPG Key ID: 0EFC1AC1006886F8
1 changed files with 1 additions and 1 deletions

View File

@ -9,5 +9,5 @@ pipeline:
- python3 -m pip install -r requirements.txt
- BRANCH="$(grep ^BRANCH Makefile | awk '{print $3}')"
- git fetch origin --no-tags +refs/heads/$BRANCH
- git branch $BRANCH origin/$BRANCH
- git branch $BRANCH origin/$BRANCH ||:
- make verifs