As the liner is inserted into the pipe, it is turned inside out and forced through using water or air pressure.

BBC: Sewer renovation work to begin in Glastonbury

We know with some certainty that workers were in the final stages of setting the final sections of pipe (production liner) in the hole and cementing it in place.

FORBES: BP's Deepwater Disaster: What Happened And Why?