Miguel Ojeda

v2: instead of the unstable `--out-dir`, put both the common profiles in `$PATH` and use `--target-dir` to isolate a bit. (Using `--target-dir` implies we rebuild more than needed, since some...

Up to you of course -- did something change? If the extra couple minutes would be too much even in a new job, then a periodic post-merge CI is better...