Run a rinse cycle or 2 through the machine first and rinse out the gunk form the detergent drawer to get rid of any trace of detergent. (detergent masks water repellent coatings)
You may well find that after washing, you can tumble dry it on a low heat to re-activate the original water repellency of the gore-tex.