diff options
| author | 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> | 2024-10-18 12:00:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-18 12:00:54 +0100 |
| commit | 80a8f7b0419cc8cbe987a5f68715a435b1654a18 (patch) | |
| tree | a000c94cba8db1da580737f9ce5cbaa4e8d2ae20 /src/ci/github-actions | |
| parent | 9a664a0a96653cc6bbd059bc1f1c51f746a4d523 (diff) | |
| parent | 4277160f610b7a6e754bd7c51e8ec26f02d6dd6a (diff) | |
Rollup merge of #131877 - RalfJung:checktools-comment, r=ChrisDenton
checktools.sh: add link to issue for more context about disabled Miri tests Adds some context for the changes made in https://github.com/rust-lang/rust/pull/130072.
Diffstat (limited to 'src/ci/github-actions')
| -rw-r--r-- | src/ci/github-actions/jobs.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ci/github-actions/jobs.yml b/src/ci/github-actions/jobs.yml index 8f49f623afa..21a073c937f 100644 --- a/src/ci/github-actions/jobs.yml +++ b/src/ci/github-actions/jobs.yml @@ -381,6 +381,8 @@ auto: <<: *job-windows-8c # Temporary builder to workaround CI issues + # See <https://github.com/rust-lang/rust/issues/127883> + #FIXME: Remove this, and re-enable the same tests in `checktools.sh`, once CI issues are fixed. - image: x86_64-msvc-ext2 env: SCRIPT: > |