Is WPMU DEV Dashboard compatible with PHP 7?

I scanned my site with this plugin and it said that these plugins are not compatible with PHP 7:
WPMU DEV Dashboard

Can you tell me if they are? Have you tested them with PHP 7? I can give you the exact errors it displayed too if that helps.