You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Update pull request workflow to use the tagged github-workflows
Now that workflows is more stable, use the most recent tag instead of
main to avoid changes to default jobs preventing merging.
(cherry picked from commit 208b1e4)
0 commit comments