Windows: ignore UID errors for now

Author: Bromeon

.github/other/check-example.sh

@@ -55,7 +55,16 @@ echo "----------------------------------------------------"
 cat "$logfile"
 echo "----------------------------------------------------"
 
-if grep --quiet "ERROR:" "$logfile"; then
+echo "OS: $OSTYPE"
+
+# On Windows, UIDs are different than on Linux/macOS. This is currently impossible to keep consistent, so ignore those errors.
+# TODO omit this once 4.3 is out and UIDs work properly.
+if [[ "$OSTYPE" == "msys" ]]; then
+    if grep --quiet "ERROR:" "$logfile" | grep -v --quiet "ext_resource, invalid UID"; then
+        echo "::error::$PRE Godot engine encountered (non-UID) errors while running."
+        exit 1
+    fi
+elif grep --quiet "ERROR:" "$logfile"; then
     echo "::error::$PRE Godot engine encountered errors while running."
     exit 1
 fi