Skip to content

check_static_item: explain should_check_for_sync choices#144534

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:should_check_for_sync
Jul 28, 2025
Merged

check_static_item: explain should_check_for_sync choices#144534
bors merged 1 commit intorust-lang:masterfrom
RalfJung:should_check_for_sync

Commits

Commits on Jul 27, 2025