Closed alexanderkjall closed 1 year ago
@bors-servo r+
:pushpin: Commit 0893ab9 has been approved by jdm
:hourglass: Testing commit 0893ab936326885e75ef40b8eb1ea4c715df98bb with merge 75b37025b48d9e5f778607f478c650b82e34312f...
:sunny: Test successful - checks-github Approved by: jdm Pushing 75b37025b48d9e5f778607f478c650b82e34312f to master...
With this command line:
Then these errors are produced:
This PR fixes those by adding a conditional config, so that the two compiles are exclusive to each other.