Getting push notifications working on a vanilla ROM is a very tricky thing. Unless they made a workaround (which requires the app constantly staying in the background that devs don’t like apparently) it will not work properly. It’s not the app’s fault though