Skip to content

Use String or Int to set the opt level - #113273

Merged
bors merged 1 commit into
rust-lang:masterfrom
0xPoe:rustin-patch-opt-level
Jul 9, 2023
Merged

Use String or Int to set the opt level#113273
bors merged 1 commit into
rust-lang:masterfrom
0xPoe:rustin-patch-opt-level

Use String or Int to set the opt level

92b5d0c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs