rust/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml, branch stable https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=stable 2025-07-10T08:02:39+00:00 Migrate rustc-pull to CI workflow from `josh-sync` 2025-07-10T08:02:39+00:00 Jakub Beránek berykubik@gmail.com 2025-07-10T08:02:39+00:00 urn:sha1:c6bedc1bf9752c482e7a2fd58e24c7569fb58555 Update CI workflow to use rustc-josh-sync 2025-07-04T09:44:58+00:00 Jakub Beránek berykubik@gmail.com 2025-07-04T09:44:58+00:00 urn:sha1:13dca5e1baede8fe0df76ccba1875a14dda10269 toolchain version does not need to be specified 2025-04-19T11:34:13+00:00 Tshepang Mbambo tshepang@gmail.com 2025-04-19T11:34:13+00:00 urn:sha1:1b5f2aa2a78881962568c691a58d6edb64c1dbc9 - Rust backcompat removes the need to specify the version here - Using these commands can result in a needless toolchain getting downloaded, like in the case where user only has Nightly installed Fix posting message to Zulip 2025-02-25T17:56:14+00:00 Jakub Beránek berykubik@gmail.com 2025-02-25T17:56:14+00:00 urn:sha1:9423634997e4c0beab4dff936eaf91126a4a8d80 Make the rustc-pull workflow run less often 2025-02-03T22:41:48+00:00 Jakub Beránek berykubik@gmail.com 2025-02-03T21:06:13+00:00 urn:sha1:3e5b413dc47c75dd36cac61d6d028feddc413f6f Checkout repository sources in rustc-pull CI action 2025-02-01T14:50:00+00:00 Jakub Beránek berykubik@gmail.com 2025-02-01T14:50:00+00:00 urn:sha1:97edb7a7c2f93451b2b6efa18b630117cce17847 This is needed for the `gh` command to work. Pass `GITHUB_TOKEN` to Zulip CI step 2025-01-31T16:01:38+00:00 Jakub Beránek berykubik@gmail.com 2025-01-31T16:01:38+00:00 urn:sha1:179a2f8a5389dc910602c352d4b98f2dd96d8ca7 Run rustc-pull CI every day, don't notify when there is nothing to update 2025-01-30T19:00:39+00:00 Jakub Beránek berykubik@gmail.com 2025-01-30T16:29:01+00:00 urn:sha1:40713cb4515404e26c13b16270942acfef4ccf28 Fix rustc-pull CI's bash commands 2025-01-27T22:34:43+00:00 Jakub Beránek berykubik@gmail.com 2025-01-27T22:34:36+00:00 urn:sha1:2412289fc9ae0e8903d1c3cca8ef0aaf84eae307 Send a message to Zulip when a sync finishes 2025-01-20T17:15:59+00:00 Jakub Beránek berykubik@gmail.com 2025-01-20T16:30:09+00:00 urn:sha1:28b5e11e2a26da6dcaa2e11da069c2a222ea9af5