I would add... Do a leakdown or at least a compression test. Looks like it ran with the pushrod real close to the fulcrum. That is a huge rocker ratio jump. Possible to bend a valve or squash a valve seal, etc..
Just as precaution, no likely damage. Best to be sure though.

"use it 'till it breaks, replace as needed"