diff options
| author | Ralf Jung <post@ralfj.de> | 2024-10-18 10:30:22 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-10-18 10:47:33 +0200 |
| commit | 4277160f610b7a6e754bd7c51e8ec26f02d6dd6a (patch) | |
| tree | d4855a8d37a4a7f91f3d04702dbe99d459e2dc17 /src/ci/github-actions | |
| parent | d9c4b8d475360b52e6debead2cd710e9fe3c7110 (diff) | |
| download | rust-4277160f610b7a6e754bd7c51e8ec26f02d6dd6a.tar.gz rust-4277160f610b7a6e754bd7c51e8ec26f02d6dd6a.zip | |
checktools.sh: add link to issue for more context about disabled Miri tests
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: > |