Merge remote-tracking branch 'origin/dev' into feature/provider-updates

Author: jeffreyaven

.github/workflows/aot.yml

@@ -136,8 +136,8 @@ jobs:
             fi
           done
           if [ "$rc" -ne "0" ]; then
-            echo "overall anysdk CLI AOT provider analysis failed" 1>&2
-            exit 1
+            echo "overall anysdk CLI AOT provider analysis found interesting diagnostics" 1>&2
+            exit 0
           else
             echo "overall anysdk CLI AOT provider analysis succeeded" 1>&2
           fi