Skip to content
Contrib Deploy

Plumb rustc -Zhint-mostly-unused flag through as a profile option (… #3029

Sign in to view logs

Plumb rustc -Zhint-mostly-unused flag through as a profile option (…

Plumb rustc -Zhint-mostly-unused flag through as a profile option (… #3029

Triggered via push June 20, 2025 23:32
@github-merge-queuegithub-merge-queue[bot]
pushed 0731d17
master
Status Success
Total duration 13s
Artifacts –

contrib.yml

on: push
deploy
9s
deploy
Fit to window
Zoom out
Zoom in