From ec3329f4c93f0a3474fd6d3dcd13baea1d93fed3 Mon Sep 17 00:00:00 2001
From: Eric Froemling <ericfroemling@gmail.com>
Date: Thu, 19 Dec 2019 18:33:51 -0800
Subject: [PATCH] just doing regular check in ci since checkfull is identical
 for fresh repo pulls

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e3bcb37f..c40f1a5d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -17,5 +17,5 @@ jobs:
         sudo apt-get -y install python3.7 python3.7-dev python3-pip python3-setuptools
         python3.7 -m pip install `tools/snippets pip_req_list`
     - name: Run checks and tests
-      run: make -j2 checkfull test
+      run: make -j2 check test