diff --git a/Tools/publish_github_artifact.py b/Tools/publish_github_artifact.py old mode 100644 new mode 100755 diff --git a/Tools/publish_multi_request.py b/Tools/publish_multi_request.py old mode 100644 new mode 100755