Skip to content

run_tests_minimal: actually run the smoke test on the desired target#2701

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:smokeNov 27, 2022
+1-1

Commits