From 03cece8f2801e6987afd588546726e850df677f0 Mon Sep 17 00:00:00 2001
From: Eric Froemling <ericfroemling@gmail.com>
Date: Sun, 6 Oct 2019 08:52:41 -0700
Subject: [PATCH] more CI testing

---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dabb34a1..db0d2f56 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -16,5 +16,7 @@ jobs:
         sudo apt-get -y install python3.7 python3.7-dev python3-pip python3-setuptools
         sudo pip3 install pylint mypy typing-extensions
     - name: Run checks
-      run: make checkfull
+      run: |
+        python3.7 -m pylint --version
+        python3.7 -m mypy --version