It seems that Domino Robot has got Corona virus? ( on Twitter).
It looks like Thomas Adrian has fixed it now since the tweet about this forum post has the correct content: https://twitter.com/domino_robot/status/1239466046458867712.
Update: it still fails so I have contacted Thomas.