Having ↻ Checking… in the header bar feels out of place with the rest of GNOME apps, a more common pattern seems to put it in an overlay, like here: