I had a pinch flat, put in a new tube and ripped the core out when it was nearly up, started again… Fingers crossed that the dented rim will still work tubeless, I’ve remembered why I took that option in the first place.
Should add, thanks for the tube donation. Would have been a long and miserable walk to the pub.