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