mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-03-18 23:34:53 +01:00

This check is not useful anymore since that website is not running their own buildbots anymore. It's also trivially bypassable -- it just happened to work when the builds were fully automated over there.