Repository navigation

ensure JSON-defined targets are consistent - #133409

Merged

bors merged 2 commits into

rust-lang:masterfrom

RalfJung:target-consistency

Nov 29, 2024

Merged

ensure JSON-defined targets are consistent#133409
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:target-consistency

Commits on Nov 27, 2024
- ensure JSON-defined targets are consistent
  RalfJung
  committed
  562a855
Commits on Nov 28, 2024
- move target JSON (de)serialization to separate file
  RalfJung
  committed
  77080d8