Iteration 4.2 - trying to create a pull request.

Codium-ai · Nov 8, 2024 · c5a84be · c5a84be
1 parent b6c2f80
commit c5a84be
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -44,6 +44,8 @@ jobs:
           CODIUM_PROXY_TOKEN: ${{ secrets.CODIUM_PROXY_TOKEN }}
         run: |
           git push -u origin update-docs-context-branch
+      - name: Wait for branch to propagate
+        run: sleep 10
 
       - name: Create pull request
         uses: actions/github-script@v6