From e5128b7b345c10f73edd29441b708b56c58b9e88 Mon Sep 17 00:00:00 2001 From: Chase <44284917+TotallyNotChase@users.noreply.github.com> Date: Mon, 5 Oct 2020 00:37:02 +0800 Subject: [PATCH] :wrench: Use checkout + make instead of gwion-action for coverage --- .github/workflows/coverage.yml | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) 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 -- 2.43.0