Use correct std/core prefix in lint output

[samueltardieu]

changelog: none

I was waiting for #13452 to be merged before sending this one. std is used instead of core when appropriate in messages.

[rustbot]

r? @llogiq

rustbot has assigned @llogiq.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[samueltardieu]

r? @Centri3
(since you dealt with #13452)

[samueltardieu]

r?

[rustbot]

Error: Parsing assign command in comment failed: ...'' | error: specify user to assign to at >| ''...

Please file an issue on GitHub at triagebot if there's a problem with this bot, or reach out on #t-infra on Zulip.

[samueltardieu]

r? @xFrednet

[xFrednet]

Tiny comment, otherwise looks good to me :D

[xFrednet]

Looks good to me, thank you :D

---

std is red,
Core is blue,
We get purple,
if we mix the two

I actually really like this one :D

[bors]

📌 Commit 46a0770 has been approved by xFrednet

It is now in the queue for this repository.

[bors]

⌛ Testing commit 46a0770 with merge f444012...

[bors]

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: xFrednet
Pushing f444012 to master...