Closed Xanewok closed 3 years ago
@bors delegate=ehuss
:v: @ehuss can now approve this pull request
Thanks!
@bors r+
:pushpin: Commit 17dfb71b072518ad826cedba7f17853141f5b5df has been approved by ehuss
:hourglass: Testing commit 17dfb71b072518ad826cedba7f17853141f5b5df with merge 74d1800c25498689c5b5120a1e8495fce0cd0d0d...
:sunny: Test successful - checks-actions Approved by: ehuss Pushing 74d1800c25498689c5b5120a1e8495fce0cd0d0d to master...
In case we don't want to introduce another env var to rustc CI script
cc https://github.com/rust-lang/rust/pull/84412
r? @ehuss