ci: use git -C vc push || true in .github/workflows/gen_vc_ci.yml, to prevent false positives in forked repos

This commit is contained in:
Delyan Angelov 2023-11-27 08:05:17 +02:00
parent ef598087e6
commit 19b055c22f
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED

View File

@ -46,4 +46,6 @@ jobs:
# in case there are recent commits:
git -C vc pull --rebase origin master
git -C vc push
# Note that failure below may happen, due to vlang/vc rejecting the push
# from forked repos; that is not usually a problem.
git -C vc push || true