Skip to content

lints_that_dont_need_to_run: never skip future-compat-reported lints#133108

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:future-compat-needs-to-run
Nov 20, 2024
Merged

lints_that_dont_need_to_run: never skip future-compat-reported lints#133108
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:future-compat-needs-to-run

lints_that_dont_need_to_run: never skip future-compat-reported lints

df94818
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs