Use GITHUB_ENV to append to PATH

src/scripts/common.sh

@@ -204,8 +204,10 @@ add_tool() {
   tool=$2
   ver_param=$3
   tool_path="$tool_path_dir/$tool"
-  export PATH=$PATH:$tool_path_dir
-  echo "$tool_path_dir" >> "$GITHUB_PATH"
+  if ! [[ "$PATH" =~ $tool_path_dir ]] ; then
+    export PATH=$PATH:"$tool_path_dir"
+    echo "export PATH=\$PATH:$tool_path_dir" | sudo tee -a "$GITHUB_ENV" >/dev/null
+  fi
   if [ ! -e "$tool_path" ]; then
     rm -rf "$tool_path"
   fi