Skip to content

Conversation

Kobzol
Copy link
Member

@Kobzol Kobzol commented Jul 12, 2025

This CI workflow will run the https://github.com/rust-lang/josh-sync tool on Mondays and Thursdays. It will try to do a pull (sync stdarch changes from rust-lang/rust into this repository). When it runs, three things can happen:

Copy link
Contributor

@tgross35 tgross35 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Awesome, thanks for setting this up!

@tgross35 tgross35 enabled auto-merge (squash) July 12, 2025 20:29
@tgross35 tgross35 merged commit 6af9880 into rust-lang:master Jul 12, 2025
36 checks passed
@Kobzol Kobzol deleted the rustc-ci-pull branch July 12, 2025 20:31
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