From 6308df540edbaeb059d8b6f85a39594423edecde Mon Sep 17 00:00:00 2001 From: Marto Date: Fri, 9 Feb 2024 17:00:08 +0200 Subject: [PATCH] Change script permissions --- scripts/ci/build_nim.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/ci/build_nim.sh diff --git a/scripts/ci/build_nim.sh b/scripts/ci/build_nim.sh old mode 100644 new mode 100755