Commit 2025-10-24 20:56 668ca256
View on Github →Fix: change how multigoal linter handles focus. (#30470) Se #20081, moves focus to exclusions rather than ignoreBranch to get get multigoal linting inside haves and suffices. Fixes the places in the library where the linter now shows multiple goals; mostly this was just adding · but sometimes some small rearrangement. Adds a test for the new behaviour.