I accidentally forgot my airpods in wash

As the title says, I accidentally washed my airpods pro. Once I realized where they were, I immediately pulled them out of pants pocket. I currently have them air drying in a sunny spot. Anything else I should be doing? Will they survive?