packed up

(slang) ceased; gave up; retired.