Comment by ewidar

Seeing the same on our side, and now no github action is even getting picked up in our repo.