From: Chase <44284917+TotallyNotChase@users.noreply.github.com>
Date: Sun, 4 Oct 2020 16:37:02 +0000 (+0800)
Subject: :wrench: Use checkout + make instead of gwion-action for coverage
X-Git-Tag: nightly~1244^2^2~11
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=e5128b7b345c10f73edd29441b708b56c58b9e88;p=gwion.git

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

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index c63cf44f..0ae18b50 100644
--- 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