Clean up CI

.github/workflows/ci.yml

@@ -15,9 +15,8 @@ jobs:
     - uses: actions/checkout@v1
     - name: Install deps
       run: sudo apt-get install indent
-    - name: make format
-      run: |
-        make format 
-        git diff
-        ! git status -s | grep "^ M "
+    - name: Install ck
+      run: sudo apt-get install libck-dev
+    - name: make runtime
+      run: make libcyclone.a
             

.github/workflows/formatting.yml

@@ -16,5 +16,8 @@ jobs:
     - name: Install deps
       run: sudo apt-get install -y indent
     - name: formatting
-      run: make test-format
+      run: |
+        make format 
+        git diff
+        ! git status -s | grep "^ M "