Skip to content

Rename rust_2015 → is_rust_2015#107559

Merged
bors merged 2 commits into
rust-lang:masterfrom
WaffleLapkin:is_it_2015¿
Feb 2, 2023

Hidden character warning

The head ref may contain hidden characters: "is_it_2015\u00bf"
Merged

Rename rust_2015 → is_rust_2015#107559
bors merged 2 commits into
rust-lang:masterfrom
WaffleLapkin:is_it_2015¿

Use `rust_2018` instead of `!is_rust_2015`

a7f97a7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs