🔨 Rework and refactor development scripts

This commit is contained in:
2023-04-21 15:05:48 +02:00
parent a7caa876c4
commit 2ca7ccde4a
6 changed files with 70 additions and 26 deletions
+8
View File
@@ -0,0 +1,8 @@
#!/usr/bin/env bash
# Runs type checker.
source "$(dirname $(realpath $0))/util.sh"
echo 'Performing type checks...'
mypy
echo