diff --git a/.github/workflows/microhs-ci.yml b/.github/workflows/microhs-ci.yml index 2607959c..63584639 100644 --- a/.github/workflows/microhs-ci.yml +++ b/.github/workflows/microhs-ci.yml @@ -16,7 +16,5 @@ jobs: - uses: sol/setup-MicroHs@nightly - name: checkout QuickCheck repo uses: actions/checkout@v4 - - name: build QuickCheck - run: mcabal -r build - name: test QuickCheck run: ./test-mhs