diff --git a/.github/workflows/gen_vc_ci.yml b/.github/workflows/gen_vc_ci.yml
index 5bddebb39bdff4..6e57914b4d56e1 100644
--- a/.github/workflows/gen_vc_ci.yml
+++ b/.github/workflows/gen_vc_ci.yml
@@ -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