Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rollup of 6 pull requests #125663

Closed
wants to merge 21 commits into from
Closed
Show file tree
Hide file tree
Changes from 4 commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
ead02ba
NVPTX: Avoid PassMode::Direct for args in C abi
May 10, 2024
f63931b
Cleanup custom mingw in CI
ChrisDenton May 26, 2024
19cfe8d
Add "Setup Python" action to github-hosted runners
ChrisDenton May 26, 2024
ede62b8
Add an intrinsic for `ptr::metadata`
scottmcm Apr 21, 2024
ce8f37b
Add custom mir support for `PtrMetadata`
scottmcm May 25, 2024
0f9e4d6
Add Miri tests for `PtrMetadata` UB
scottmcm May 26, 2024
f931290
Update description of install-mingw
ChrisDenton May 27, 2024
713ddc2
Add Miri smoke pass test for ptr_metadata intrinsic
scottmcm May 27, 2024
bcfa67d
Remove out-of-date comment.
nnethercote May 22, 2024
5673337
Add `assert_not_contains` to `run-make-support` library
GuillaumeGomez May 27, 2024
404d47e
Migrate `run-make/allow-warnings-cmdline-stability` to `rmake.rs`
GuillaumeGomez May 26, 2024
4702a1c
Fix comments.
nnethercote May 28, 2024
f1b0ca0
Don't format `tests/run-make/*/rmake.rs`.
nnethercote May 28, 2024
50a5da1
EvalCtxt::tcx() -> EvalCtxt::interner()
compiler-errors May 19, 2024
f494036
Make ProofTreeBuilder actually generic over interner
compiler-errors May 19, 2024
2c5a26b
Rollup merge of #117671 - kjetilkjeka:nvptx_c_abi_avoid_direct, r=dav…
matthiaskrgr May 28, 2024
f96ce48
Rollup merge of #124251 - scottmcm:unop-ptr-metadata, r=oli-obk
matthiaskrgr May 28, 2024
df3b962
Rollup merge of #125573 - GuillaumeGomez:migrate-allow-warnings-cmdli…
matthiaskrgr May 28, 2024
1c51557
Rollup merge of #125590 - ChrisDenton:mingw-ci-3, r=Kobzol
matthiaskrgr May 28, 2024
87cd582
Rollup merge of #125598 - compiler-errors:proof-tree-builder, r=lcnr
matthiaskrgr May 28, 2024
2c7d9ce
Rollup merge of #125637 - nnethercote:rustfmt-fixes, r=GuillaumeGomez
matthiaskrgr May 28, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 6 additions & 3 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -154,9 +154,12 @@ jobs:

- name: checkout submodules
run: src/ci/scripts/checkout-submodules.sh

- name: install MSYS2
run: src/ci/scripts/install-msys2.sh

- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.x'
if: runner.environment == 'github-hosted'

- name: install MinGW
run: src/ci/scripts/install-mingw.sh
Expand Down
4 changes: 0 additions & 4 deletions src/ci/github-actions/jobs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -378,7 +378,6 @@ auto:
# We are intentionally allowing an old toolchain on this builder (and that's
# incompatible with LLVM downloads today).
NO_DOWNLOAD_CI_LLVM: 1
CUSTOM_MINGW: 1
<<: *job-windows-8c

- image: x86_64-mingw
Expand All @@ -390,7 +389,6 @@ auto:
# We are intentionally allowing an old toolchain on this builder (and that's
# incompatible with LLVM downloads today).
NO_DOWNLOAD_CI_LLVM: 1
CUSTOM_MINGW: 1
<<: *job-windows-8c

- image: dist-x86_64-msvc
Expand Down Expand Up @@ -439,7 +437,6 @@ auto:
# incompatible with LLVM downloads today).
NO_DOWNLOAD_CI_LLVM: 1
SCRIPT: python x.py dist bootstrap --include-default-paths
CUSTOM_MINGW: 1
DIST_REQUIRE_ALL_TOOLS: 1
<<: *job-windows-8c

Expand All @@ -453,7 +450,6 @@ auto:
# We are intentionally allowing an old toolchain on this builder (and that's
# incompatible with LLVM downloads today).
NO_DOWNLOAD_CI_LLVM: 1
CUSTOM_MINGW: 1
DIST_REQUIRE_ALL_TOOLS: 1
<<: *job-windows-8c

Expand Down
20 changes: 5 additions & 15 deletions src/ci/scripts/install-mingw.sh
Original file line number Diff line number Diff line change
@@ -1,8 +1,5 @@
#!/bin/bash
# If we need to download a custom MinGW, do so here and set the path
# appropriately.
#
# Otherwise install MinGW through `pacman`
# For mingw builds use a vendored mingw.

set -euo pipefail
IFS=$'\n\t'
Expand All @@ -16,19 +13,16 @@ if isWindows && isKnownToBeMingwBuild; then
case "${CI_JOB_NAME}" in
*i686*)
bits=32
arch=i686
mingw_archive="${MINGW_ARCHIVE_32}"
;;
*x86_64*)
bits=64
arch=x86_64
mingw_archive="${MINGW_ARCHIVE_64}"
;;
*aarch64*)
# aarch64 is a cross-compiled target. Use the x86_64
# mingw, since that's the host architecture.
bits=64
arch=x86_64
mingw_archive="${MINGW_ARCHIVE_64}"
;;
*)
Expand All @@ -38,13 +32,9 @@ if isWindows && isKnownToBeMingwBuild; then
;;
esac

if [[ "${CUSTOM_MINGW:-0}" == 0 ]]; then
pacman -S --noconfirm --needed mingw-w64-$arch-toolchain
else
mingw_dir="mingw${bits}"
mingw_dir="mingw${bits}"

curl -o mingw.7z "${MIRRORS_BASE}/${mingw_archive}"
7z x -y mingw.7z > /dev/null
ciCommandAddPath "$(pwd)/${mingw_dir}/bin"
fi
curl -o mingw.7z "${MIRRORS_BASE}/${mingw_archive}"
7z x -y mingw.7z > /dev/null
ciCommandAddPath "$(pwd)/${mingw_dir}/bin"
fi
27 changes: 0 additions & 27 deletions src/ci/scripts/install-msys2.sh

This file was deleted.