diff --git a/src/ci/publish_toolstate.sh b/src/ci/publish_toolstate.sh old mode 100644 new mode 100755