{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":46083140,"defaultBranch":"master","name":"miri","ownerLogin":"rust-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-11-12T21:51:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5430905?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716877084.0","currentOid":""},"activityList":{"items":[{"before":"6cd3641be42dffe5bf49ef1fd3e77320cc981c35","after":"46cdac08c62da34e5b607873be8cf0ae5f58341f","ref":"refs/heads/master","pushedAt":"2024-05-28T16:55:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3641 - RalfJung:env-vars, r=RalfJung\n\nmove ./miri environment variables to CONTRIBUTING\n\nThe README should discuss `cargo miri`, i.e. what users usually use, not the developer-only `./miri`.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321484813\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3641\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3641/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3641\">#3641</a> - RalfJung:env-vars, r=RalfJung"}},{"before":"6cd3641be42dffe5bf49ef1fd3e77320cc981c35","after":"46cdac08c62da34e5b607873be8cf0ae5f58341f","ref":"refs/heads/auto","pushedAt":"2024-05-28T16:30:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3641 - RalfJung:env-vars, r=RalfJung\n\nmove ./miri environment variables to CONTRIBUTING\n\nThe README should discuss `cargo miri`, i.e. what users usually use, not the developer-only `./miri`.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2321484813\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3641\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3641/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3641\">#3641</a> - RalfJung:env-vars, r=RalfJung"}},{"before":"70d688b6fc2d718ee34db60036d778cb0b4562ed","after":null,"ref":"refs/heads/rustup-2024-05-28","pushedAt":"2024-05-28T06:18:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"}},{"before":"80cc120ef37050e9ba8874f0e1e0ea7036e6e89e","after":"6cd3641be42dffe5bf49ef1fd3e77320cc981c35","ref":"refs/heads/master","pushedAt":"2024-05-28T06:18:02.000Z","pushType":"push","commitsCount":21,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3639 - rust-lang:rustup-2024-05-28, r=RalfJung\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2320146641\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3639\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3639/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3639\">#3639</a> - rust-lang:rustup-2024-05-28, r=RalfJung"}},{"before":"80cc120ef37050e9ba8874f0e1e0ea7036e6e89e","after":"6cd3641be42dffe5bf49ef1fd3e77320cc981c35","ref":"refs/heads/auto","pushedAt":"2024-05-28T05:53:36.000Z","pushType":"push","commitsCount":21,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3639 - rust-lang:rustup-2024-05-28, r=RalfJung\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2320146641\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3639\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3639/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3639\">#3639</a> - rust-lang:rustup-2024-05-28, r=RalfJung"}},{"before":null,"after":"70d688b6fc2d718ee34db60036d778cb0b4562ed","ref":"refs/heads/rustup-2024-05-28","pushedAt":"2024-05-28T05:21:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Merge from rustc","shortMessageHtmlLink":"Merge from rustc"}},{"before":"10d8c3572cff05fe79d472c405a1ab171eadf1da","after":"80cc120ef37050e9ba8874f0e1e0ea7036e6e89e","ref":"refs/heads/master","pushedAt":"2024-05-27T16:26:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3636 - RalfJung:provenance-type-aliases, r=RalfJung\n\navoid repeating the Provenance parameter everywhere","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319419160\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3636\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3636/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3636\">#3636</a> - RalfJung:provenance-type-aliases, r=RalfJung"}},{"before":"10d8c3572cff05fe79d472c405a1ab171eadf1da","after":"80cc120ef37050e9ba8874f0e1e0ea7036e6e89e","ref":"refs/heads/auto","pushedAt":"2024-05-27T15:42:37.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3636 - RalfJung:provenance-type-aliases, r=RalfJung\n\navoid repeating the Provenance parameter everywhere","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319419160\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3636\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3636/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3636\">#3636</a> - RalfJung:provenance-type-aliases, r=RalfJung"}},{"before":"7cbaf0eb5026adad792d3b1af0ff50a27789511f","after":"10d8c3572cff05fe79d472c405a1ab171eadf1da","ref":"refs/heads/master","pushedAt":"2024-05-27T15:11:11.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3635 - RalfJung:rustup, r=RalfJung\n\nRustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319322391\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3635\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3635/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3635\">#3635</a> - RalfJung:rustup, r=RalfJung"}},{"before":"7cbaf0eb5026adad792d3b1af0ff50a27789511f","after":"10d8c3572cff05fe79d472c405a1ab171eadf1da","ref":"refs/heads/auto","pushedAt":"2024-05-27T14:45:57.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3635 - RalfJung:rustup, r=RalfJung\n\nRustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2319322391\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3635\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3635/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3635\">#3635</a> - RalfJung:rustup, r=RalfJung"}},{"before":"dba71671e0c65fcb497c854bbc894dbde851e836","after":"7cbaf0eb5026adad792d3b1af0ff50a27789511f","ref":"refs/heads/master","pushedAt":"2024-05-26T21:33:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3634 - RalfJung:macro_use, r=RalfJung\n\navoid using macro_use\n\nThis is the Miri version of https://github.com/rust-lang/rust/pull/124914","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317930134\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3634\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3634/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3634\">#3634</a> - RalfJung:macro_use, r=RalfJung"}},{"before":"dba71671e0c65fcb497c854bbc894dbde851e836","after":"7cbaf0eb5026adad792d3b1af0ff50a27789511f","ref":"refs/heads/auto","pushedAt":"2024-05-26T21:10:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3634 - RalfJung:macro_use, r=RalfJung\n\navoid using macro_use\n\nThis is the Miri version of https://github.com/rust-lang/rust/pull/124914","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317930134\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3634\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3634/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3634\">#3634</a> - RalfJung:macro_use, r=RalfJung"}},{"before":"5cbb61fce80bce3b639a757c2b1ce57322e4118b","after":"dba71671e0c65fcb497c854bbc894dbde851e836","ref":"refs/heads/master","pushedAt":"2024-05-26T21:09:03.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3629 - devnexen:illumos_num_cpus, r=RalfJung\n\nsolarish platform: add support for available-parallelism.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316245608\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3629\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3629/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3629\">#3629</a> - devnexen:illumos_num_cpus, r=RalfJung"}},{"before":"5cbb61fce80bce3b639a757c2b1ce57322e4118b","after":"dba71671e0c65fcb497c854bbc894dbde851e836","ref":"refs/heads/auto","pushedAt":"2024-05-26T20:45:37.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3629 - devnexen:illumos_num_cpus, r=RalfJung\n\nsolarish platform: add support for available-parallelism.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316245608\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3629\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3629/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3629\">#3629</a> - devnexen:illumos_num_cpus, r=RalfJung"}},{"before":"a0a651a2e2a28feaf556b1706b77e0465af6eb53","after":"5cbb61fce80bce3b639a757c2b1ce57322e4118b","ref":"refs/heads/master","pushedAt":"2024-05-26T18:59:56.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3631 - RalfJung:blocking-refactor, r=RalfJung\n\ncompletely refactor how we manage blocking and unblocking threads\n\nThis hides a lot of invariants from the implementation of the synchronization primitives, and makes sure we never have to release or acquire a vector clock on another thread but the active one.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317728842\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3631\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3631/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3631\">#3631</a> - RalfJung:blocking-refactor, r=RalfJung"}},{"before":"a0a651a2e2a28feaf556b1706b77e0465af6eb53","after":"5cbb61fce80bce3b639a757c2b1ce57322e4118b","ref":"refs/heads/auto","pushedAt":"2024-05-26T18:36:11.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3631 - RalfJung:blocking-refactor, r=RalfJung\n\ncompletely refactor how we manage blocking and unblocking threads\n\nThis hides a lot of invariants from the implementation of the synchronization primitives, and makes sure we never have to release or acquire a vector clock on another thread but the active one.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317728842\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3631\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3631/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3631\">#3631</a> - RalfJung:blocking-refactor, r=RalfJung"}},{"before":"5537a941a4a0e6cb5dfa91eded13a3895f55c9e8","after":"a0a651a2e2a28feaf556b1706b77e0465af6eb53","ref":"refs/heads/master","pushedAt":"2024-05-26T15:46:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3632 - RalfJung:readdir, r=RalfJung\n\nunix/fs: a bit of cleanup in macos_fbsd_readdir_r","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317741796\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3632\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3632/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3632\">#3632</a> - RalfJung:readdir, r=RalfJung"}},{"before":"b1e702faf232d9598634c0dea316f0aa2c79a06c","after":"a0a651a2e2a28feaf556b1706b77e0465af6eb53","ref":"refs/heads/auto","pushedAt":"2024-05-26T15:22:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3632 - RalfJung:readdir, r=RalfJung\n\nunix/fs: a bit of cleanup in macos_fbsd_readdir_r","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317741796\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3632\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3632/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3632\">#3632</a> - RalfJung:readdir, r=RalfJung"}},{"before":"5537a941a4a0e6cb5dfa91eded13a3895f55c9e8","after":"b1e702faf232d9598634c0dea316f0aa2c79a06c","ref":"refs/heads/auto","pushedAt":"2024-05-26T15:04:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3632 - RalfJung:readdir, r=RalfJung\n\nunix/fs: a bit of cleanup in macos_fbsd_readdir_r","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317741796\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3632\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3632/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3632\">#3632</a> - RalfJung:readdir, r=RalfJung"}},{"before":"4adf0700015410699e09ac2fbd85212b5bd10f94","after":"5537a941a4a0e6cb5dfa91eded13a3895f55c9e8","ref":"refs/heads/master","pushedAt":"2024-05-26T15:03:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3633 - RalfJung:target, r=RalfJung\n\nfix './miri run --dep --target _'","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317743928\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3633\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3633/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3633\">#3633</a> - RalfJung:target, r=RalfJung"}},{"before":"4adf0700015410699e09ac2fbd85212b5bd10f94","after":"5537a941a4a0e6cb5dfa91eded13a3895f55c9e8","ref":"refs/heads/auto","pushedAt":"2024-05-26T14:39:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3633 - RalfJung:target, r=RalfJung\n\nfix './miri run --dep --target _'","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317743928\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3633\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3633/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3633\">#3633</a> - RalfJung:target, r=RalfJung"}},{"before":"2b613d94b8649c54603d99b47356f98fb07c18bb","after":null,"ref":"refs/heads/rustup-2024-05-25","pushedAt":"2024-05-25T13:09:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"}},{"before":"04e80bc9a24cccadbfbe23365cf25d272f964554","after":"4adf0700015410699e09ac2fbd85212b5bd10f94","ref":"refs/heads/master","pushedAt":"2024-05-25T13:09:36.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3630 - rust-lang:rustup-2024-05-25, r=saethlin\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316717876\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3630\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3630/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3630\">#3630</a> - rust-lang:rustup-2024-05-25, r=saethlin"}},{"before":"04e80bc9a24cccadbfbe23365cf25d272f964554","after":"4adf0700015410699e09ac2fbd85212b5bd10f94","ref":"refs/heads/auto","pushedAt":"2024-05-25T12:46:17.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3630 - rust-lang:rustup-2024-05-25, r=saethlin\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316717876\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3630\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3630/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3630\">#3630</a> - rust-lang:rustup-2024-05-25, r=saethlin"}},{"before":null,"after":"2b613d94b8649c54603d99b47356f98fb07c18bb","ref":"refs/heads/rustup-2024-05-25","pushedAt":"2024-05-25T05:24:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Merge from rustc","shortMessageHtmlLink":"Merge from rustc"}},{"before":"d7ddcaf845690e9896ea75ffda96e9ecfa98629f","after":"04e80bc9a24cccadbfbe23365cf25d272f964554","ref":"refs/heads/master","pushedAt":"2024-05-24T09:33:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3626 - devnexen:pthread_name_illumos, r=oli-obk\n\nsolaris add support for threadname.\n\nfrom std::unix::thread::set_name, pthread_setname_np is a weak symbol (not always had been available). Other than that, similar to linux only having twice of its buffer limit.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313950559\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3626\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3626/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3626\">#3626</a> - devnexen:pthread_name_illumos, r=oli-obk"}},{"before":"d7ddcaf845690e9896ea75ffda96e9ecfa98629f","after":"04e80bc9a24cccadbfbe23365cf25d272f964554","ref":"refs/heads/auto","pushedAt":"2024-05-24T09:09:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3626 - devnexen:pthread_name_illumos, r=oli-obk\n\nsolaris add support for threadname.\n\nfrom std::unix::thread::set_name, pthread_setname_np is a weak symbol (not always had been available). Other than that, similar to linux only having twice of its buffer limit.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313950559\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3626\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3626/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3626\">#3626</a> - devnexen:pthread_name_illumos, r=oli-obk"}},{"before":"74aa018dd42fcbfa7c7e5648bdcf41a4a47f7122","after":"d7ddcaf845690e9896ea75ffda96e9ecfa98629f","ref":"refs/heads/master","pushedAt":"2024-05-24T08:35:33.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3625 - Strophox:miri-allocation-fix, r=RalfJung\n\nBugfix `MiriAllocBytes` to guarantee different addresses\n\nFix in `alloc_bytes.rs` following https://github.com/rust-lang/miri/pull/3526\n\nCurrently when an allocation of `size == 0` is requested we return a `std::ptr::without_provenance_mut(align)`, but this means returned `ptr`s may overlap, which breaks things.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2312872795\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3625\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3625/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3625\">#3625</a> - Strophox:miri-allocation-fix, r=RalfJung"}},{"before":"74aa018dd42fcbfa7c7e5648bdcf41a4a47f7122","after":"d7ddcaf845690e9896ea75ffda96e9ecfa98629f","ref":"refs/heads/auto","pushedAt":"2024-05-24T08:11:37.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3625 - Strophox:miri-allocation-fix, r=RalfJung\n\nBugfix `MiriAllocBytes` to guarantee different addresses\n\nFix in `alloc_bytes.rs` following https://github.com/rust-lang/miri/pull/3526\n\nCurrently when an allocation of `size == 0` is requested we return a `std::ptr::without_provenance_mut(align)`, but this means returned `ptr`s may overlap, which breaks things.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2312872795\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3625\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3625/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3625\">#3625</a> - Strophox:miri-allocation-fix, r=RalfJung"}},{"before":"6619d43bc0530d3555545f28276c473ea834b7ac","after":"74aa018dd42fcbfa7c7e5648bdcf41a4a47f7122","ref":"refs/heads/master","pushedAt":"2024-05-24T07:02:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3628 - RalfJung:tokio, r=RalfJung\n\nadd back some tokio features\n\nTurns out I went a bit too fer when I removed features, so `socketpair` was no longer used.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2314504842\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3628\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3628/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3628\">#3628</a> - RalfJung:tokio, r=RalfJung"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVhhk8wA","startCursor":null,"endCursor":null}},"title":"Activity · rust-lang/miri"}