rust/src/tools/miri/.github/workflows, branch master https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=master 2025-09-20T08:08:44+00:00 CI: test bootstrap build 2025-09-20T08:08:44+00:00 Ralf Jung post@ralfj.de 2025-09-19T13:17:14+00:00 urn:sha1:5c2320380d4e412348fede00c70bfb9ae4e85d86 disable broken parts of CI for now 2025-09-12T11:34:30+00:00 Ralf Jung post@ralfj.de 2025-09-12T11:34:22+00:00 urn:sha1:8b5335cbba6f68b1e3727e1de6095d2e126f08e0 CI: also test on powerpc 2025-08-21T19:26:54+00:00 Ralf Jung post@ralfj.de 2025-08-21T19:20:28+00:00 urn:sha1:5c3f317187c86fe06cd40a81b7072323a2f8ec55 update rustup PR message 2025-08-01T06:57:31+00:00 Ralf Jung post@ralfj.de 2025-08-01T06:57:31+00:00 urn:sha1:6ab38e446a1e4053f515922d4d1456d3a95c1a36 rely on preinstalled rustup on windows-arm 2025-07-31T06:12:43+00:00 Ralf Jung post@ralfj.de 2025-07-31T06:12:43+00:00 urn:sha1:76a213bb18497b17e2e753c6bfb4e08c9fc36d9a Apply suggestions from code review 2025-07-29T10:28:46+00:00 Jakub Beránek berykubik@gmail.com 2025-07-29T10:28:46+00:00 urn:sha1:1fd183ea920bbe20718a4c45315fe2b30bbf4b2d Co-authored-by: Ralf Jung <post@ralfj.de> Use GH app for authenticating pull PRs 2025-07-29T08:16:28+00:00 Jakub Beránek berykubik@gmail.com 2025-07-29T08:16:28+00:00 urn:sha1:0ed3ef4ea48c7587a164572a7bda3290beb3a81f CI: run apt update before installing anything 2025-07-26T07:42:07+00:00 Ralf Jung post@ralfj.de 2025-07-26T07:38:38+00:00 urn:sha1:d88bdc9927ade8747484a9a8e80ac55a63dbcc40 Fix cronjob Zulip message 2025-07-25T06:27:18+00:00 Jakub Beránek berykubik@gmail.com 2025-07-25T06:27:18+00:00 urn:sha1:60b054533fb607d0fac9716c1a6b94e9efa3b7a5 Merge pull request #4490 from Kobzol/use-josh-sync 2025-07-23T20:36:59+00:00 Ralf Jung post@ralfj.de 2025-07-23T20:36:59+00:00 urn:sha1:cbd1557d021899a04eb37b1a10bd78a1b1f13c1d Use `josh-sync` instead of `miri-script` for Josh synchronization