ci: gen_vc: fix a race (p. 2)

pull/9628/head
Alexander Medvednikov 2021-04-07 15:43:15 +03:00
parent 8dbe323dff
commit 6d77c8821b
1 changed files with 1 additions and 1 deletions

View File

@ -38,5 +38,5 @@ jobs:
git -C vc add v.c v_win.c
git -C vc commit -m "[v:master] $COMMIT_HASH - $COMMIT_MSG"
git pull --rebase origin master # in case there are recent commits
git -C vc pull --rebase origin master # in case there are recent commits
git -C vc push