This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit 6f017d2

committed

Auto merge of rust-lang#3257 - RalfJung:build-tests, r=RalfJung

./miri build: also build tests, to avoid rebuilds later

2 parents 8675aa1 + 66b15ae commit 6f017d2Copy full SHA for 6f017d2

6 files changed

+497

-361

lines changed

+497

-361

lines changed

Comments

(0)