Code

Fetch miri flags from cargo config#2451

Code

Closed

avrong wants to merge 3 commits intorust-lang:masterrust-lang/miri:masterfrom avrong:cargo-configavrong/miri:cargo-configCopy head branch name to clipboard

+89-8

Commits

Commits on Aug 4, 2022

• Fetch miri flags from cargo config

  avrong

  committed
  7e32c0f

  Copy full SHA for 7e32c0f

• Add tests for fetching flags from from cargo config

  avrong

  committed
  f0559b9

  Copy full SHA for f0559b9

• Add info on setting miriflags in cargo config

  avrong

  committed
  56ee267

  Copy full SHA for 56ee267