From 862565e95507fcdbde5f30902cf8e3381b1e4159 Mon Sep 17 00:00:00 2001 From: A_D Date: Fri, 23 Dec 2022 17:18:56 +0200 Subject: [PATCH] github/push-checks: set mypy-all script to be +x --- scripts/mypy-all.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/mypy-all.sh diff --git a/scripts/mypy-all.sh b/scripts/mypy-all.sh old mode 100644 new mode 100755