It's always a tragedy to chuck greens. It's worse when you grow them yourself. My rocket had just archived the perfect size when we hit a bout of unseasonal warmth. And it bolted.
I wouldn't mind letting it continue later in the year. It would be nice to watch it do it's seedy thing. See it grow big and strong. Taste it along the way. But it's early June. Space is very much needed as are more salad leaves.
So I pulled up the first lot and went for a second sowing. It's cloudy now so there may be some hope.