From 7dc997ea2ba1b167874af33c1bb7010b68b71641 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Thu, 17 Aug 2023 19:08:24 +0200 Subject: Removed ci.sh --- ci.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 ci.sh (limited to 'ci.sh') diff --git a/ci.sh b/ci.sh deleted file mode 100755 index 259415e..0000000 --- a/ci.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -set -e - -black --diff --check $(git ls-files '*.py') -mypy --strict $(git ls-files '*.py') -pylint $(git ls-files '*.py') -- cgit v1.2.3