Skip to content

Enable concurrent genie push and genie snapshot workflows - #1261

Merged
bhou2 merged 1 commit into
masterfrom
push-concurrency
Jul 13, 2026
Merged

Enable concurrent genie push and genie snapshot workflows#1261
bhou2 merged 1 commit into
masterfrom
push-concurrency

Conversation

@bhou2

@bhou2 bhou2 commented Jul 13, 2026

Copy link
Copy Markdown
Contributor

Enable concurrent genie push and genie snapshot workflows; otherwise gh-pages doc pushes across the two workflows cause failures.

@bhou2
bhou2 requested a review from zdong2 July 13, 2026 22:33
@bhou2
bhou2 marked this pull request as ready for review July 13, 2026 22:33
@bhou2
bhou2 merged commit 923ea15 into master Jul 13, 2026
2 checks passed
@bhou2
bhou2 deleted the push-concurrency branch July 13, 2026 23:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants