Sync images times out often on merge to main

[kylos101]

This step in the build action often times out.

https://github.com/gitpod-io/workspace-images/blob/3f0988f2d06768d22d0aa1454ef0e963b0db65f3/.github/workflows/push-main.yml#L146-L151

When merging back to main, until we fix this, it is important to "come back here", and check the related Action in Github (like 1.5h later), to assert it finished. If not, it may need to be rerun 1-2 times! Example.

[Neelaksh-Singh]

Would adding a simple timeout-minutes for the job do the trick? If so how many minutes should we ideally be giving for the same?

[jenting]

I did not see this error recently 🚀 We could consider closing it.

[sagor999]

Going to close this issue as it no longer happens. Inspected this job and have not seen any failures like this in the last 3 months: https://github.com/gitpod-io/workspace-images/actions/workflows/push-main.yml