diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b543e7c..ea17f27 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -52,6 +52,9 @@ jobs: - name: Install dependencies run: pesde install + - name: Setup lune typedefs + run: lune setup + - name: Typecheck run: lune run typecheck @@ -75,8 +78,5 @@ jobs: - name: Install dependencies run: pesde install - - name: Setup lune typedefs - run: lune setup - - name: Run tests - run: lune run tests + run: lune run test