From 21ea80e2fd1ffdb0c213814b42f833e0642a2275 Mon Sep 17 00:00:00 2001 From: Nikolay Petrov Date: Wed, 13 Sep 2023 17:53:19 +0100 Subject: [PATCH] add execute permissions --- .ci/env/apt.sh | 0 .ci/env/bazelisk.sh | 0 .ci/env/tbb.bat | 0 3 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 .ci/env/apt.sh mode change 100644 => 100755 .ci/env/bazelisk.sh mode change 100644 => 100755 .ci/env/tbb.bat diff --git a/.ci/env/apt.sh b/.ci/env/apt.sh old mode 100644 new mode 100755 diff --git a/.ci/env/bazelisk.sh b/.ci/env/bazelisk.sh old mode 100644 new mode 100755 diff --git a/.ci/env/tbb.bat b/.ci/env/tbb.bat old mode 100644 new mode 100755