Skip to content

Fix Update Dependencies failing when two jobs push to main at once - #584

Draft
cratis-stagehand[bot] wants to merge 1 commit into
mainfrom
fix/update-dependencies-push-race
Draft

Fix Update Dependencies failing when two jobs push to main at once#584
cratis-stagehand[bot] wants to merge 1 commit into
mainfrom
fix/update-dependencies-push-race

Add a push helper that retries after losing a race to another job

0b8c29d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar