From 8233be93cf6ae76dd15d9bcbf2d2dc216a9af2ed Mon Sep 17 00:00:00 2001 From: Adriaan de Groot Date: Tue, 16 Nov 2021 17:15:37 +0100 Subject: [PATCH] CI: fix permissions on scripts --- ci/configvalidator.py | 0 ci/txcheck.sh | 0 ci/txreduce.py | 0 3 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 ci/configvalidator.py mode change 100644 => 100755 ci/txcheck.sh mode change 100644 => 100755 ci/txreduce.py diff --git a/ci/configvalidator.py b/ci/configvalidator.py old mode 100644 new mode 100755 diff --git a/ci/txcheck.sh b/ci/txcheck.sh old mode 100644 new mode 100755 diff --git a/ci/txreduce.py b/ci/txreduce.py old mode 100644 new mode 100755