update yaml

icdevsorg · Nov 17, 2023 · 24197f1 · 24197f1
1 parent bbf1102
commit 24197f1
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -31,19 +31,12 @@ jobs:
        tar -xzf motoko-linux64-${{ env.moc_version }}.tar.gz -C /home/runner/bin
        echo "/home/runner/bin" >> $GITHUB_PATH
 
-    - name: "install vessel"
-      run: |
-       wget --output-document /home/runner/bin/vessel https://github.com/kritzcreek/vessel/releases/download/${{ env.vessel_version }}/vessel-linux64
-       chmod +x /home/runner/bin/vessel
 
     - name: "install mops"
       run: |
         npm --yes -g i ic-mops
         mops i
 
-    - name: "check"
-      run: make check
-
     - name: "check-mops"
       run: make check-mops