aboutsummaryrefslogtreecommitdiff
path: root/ci.sh
diff options
context:
space:
mode:
authorMarvin Borner2023-08-17 19:08:24 +0200
committerMarvin Borner2023-08-17 19:08:24 +0200
commit7dc997ea2ba1b167874af33c1bb7010b68b71641 (patch)
tree4fff0d71cf2b0bc8bad3b1da8a07ae0783f8eabc /ci.sh
parent1ad2445fcc83f2dac8abb0d6ad9b6394181116e2 (diff)
Removed ci.sh
Diffstat (limited to 'ci.sh')
-rwxr-xr-xci.sh7
1 files changed, 0 insertions, 7 deletions
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')