ensure JSON-defined targets are consistent#133409

Merged

bors merged 2 commits intorust-lang:masterfrom

RalfJung:target-consistency

Nov 29, 2024

Commits on Nov 27, 2024

ensure JSON-defined targets are consistent
RalfJung
committed

Commits on Nov 28, 2024

move target JSON (de)serialization to separate file
RalfJung
committed