mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-05-30 05:52:02 +02: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.