Anything is possible but depending on which line was leaking it is unlikely. This could be a coincidence but if it worked when you dropped it off and it doesn't when you picked it up then they should take a look at it and figure out what is going on. That will tell us if it is related.
Here are a couple guides that will help with what we need to do to figure this out but when you say it doesn't work, what is not working? Does it blow air but not cold air? Does it not blow at all in the vehicle?
Below is the process from the manual that shows the most common power steering line that has issues and if it was the issue, you will see it is not close to the A/C components so I don't see how they would have done this.
Please let us know if you have questions. Thanks
Images (Click to enlarge)
Saturday, June 5th, 2021 AT 2:47 PM