more CI testing

.github/workflows/ci.yml

@@ -9,20 +9,12 @@ jobs:
     
     steps:
     - uses: actions/checkout@v1
-    - name: Setup
+    - name: Set up tools
       run: |
         export DEBIAN_FRONTEND=noninteractive
         sudo apt-add-repository -y ppa:deadsnakes/ppa
         sudo apt-get -y install python3.7 python3.7-dev python3-pip python3-setuptools
         sudo pip3 install pylint mypy typing-extensions
-    - name: Run a multi-line script
-      run: |
-        echo Add other actions to build,
-        python3 --version
-        which pylint || echo damn1
-        which mypy || echo damn2
-        cat `which mypy`
-        pylint --version
-        mypy --version
-        tools/snippets || echo bad
-        echo test, and deploy your project.
+    - name: Run checks
+      run: make checkfull
+