:wrench: Use checkout + make instead of gwion-action for coverage

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index c63cf44fd8500b5e1841ab1362ecdb9553417468..0ae18b50c3a8c5427335cacb9b179af1036841ed 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -18,12 +18,14 @@ jobs:
     if: "!contains(github.event.head_commit.message, '[skip ci]')"
 
     steps:
-    - name: Build Gwion
-      uses: fennecdjay/gwion-action@v1
-      with:
-        dir: .
-        ref: ${{ github.sha }}
-        run: 'true'
+    - name: Checkout
+      uses: actions/checkout@v2
+
+    - name: Init submodules
+      run: git submodule update --init util ast
+
+    - name: Build & Test Gwion
+      run: make && make test
       env:
         USE_COVERAGE: 1
 
@@ -108,4 +110,4 @@ jobs:
         body: file://diff.html
         to: ${{ github.event.repository.owner.email }},${{ github.event.pusher.email }}
         from: Gwion Coverage action
-        content_type: text/html
+        content_type: text/html
\ No newline at end of file