I can see their side. GPL was called copyleft for a reason, a nod to copyright. It's a copyright restriction which limits redistribution to certain terms.

Cloud providers do redistribute. It runs on their servers. They do not have to honor copyright restrictions. They can make proprietary modifications and keep them, and they do. They might be honoring the letter of the license, but certainly not the spirit of it.