I don’t think you have a leak either. Unless it’s in the new work you had done. Depending on the type of filter, and also when the filter is located above the pool water level, filters can drain during a repair leaving a cavity of trapped air. Sometimes you need to first fill your filter...