Not nearly as big as SpriteSomething

resources/ci/common/common.py

@@ -121,7 +121,7 @@ def find_binary(listdir):
       if os.path.splitext(filename)[1] != ".py":
         st = os.stat(filename)
         mode = st.st_mode
-        big = st.st_size > (10 * 1024 * 1024) # 10MB
+        big = st.st_size > (4.7 * 1024 * 1024) # 10MB
         if (mode & executable) or big:
           if "GUI" in filename or "Gui" in filename or "DungeonRandomizer" in filename:
             BUILD_FILENAMES.append(filename)