From 8fe9c630a670906dbdc89795a9b25a84ccbaacf0 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Fri, 20 Dec 2019 15:02:15 -0800 Subject: [PATCH] [CI] Run make check after running the build. --- .github/workflows/main.yml | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index ff46075..807ca6f 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -40,16 +40,11 @@ jobs: - run: sudo make -j4 package shell: bash name: Build + - run: make check + name: Run the testsuite + if: matrix.os == 'ubuntu-latest' - uses: actions/upload-artifact@v1 with: # Upload the dist folder. Give it a name according to the OS it was built for. name: ${{ format( 'dist-{0}.tgz', matrix.os) }} path: dist - check: - name: Check - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v1 - with: - submodules: true - - run: make check