diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 78deaad..a7842a4 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -24,31 +24,8 @@ jobs: - name: Check formatting run: lune run fmt -- --check - test: - needs: ["fmt"] - runs-on: ubuntu-latest - steps: - - name: Checkout repository - uses: actions/checkout@v4 - - - name: Install tooling - uses: CompeyDev/setup-rokit@v0.1.2 - with: - cache: true - - - name: Install pesde - uses: ./.github/workflows/pesde.yml - with: - pesde-token: ${{ secrets.PESDE_TOKEN }} - - - name: Install dependencies - run: pesde install - - - name: Run tests - run: lune run tests - typecheck: - needs: ["test"] + needs: ["fmt"] runs-on: ubuntu-latest steps: - name: Checkout repository @@ -69,3 +46,26 @@ jobs: - name: Typecheck run: lune run typecheck + + test: + needs: ["typecheck"] + runs-on: ubuntu-latest + steps: + - name: Checkout repository + uses: actions/checkout@v4 + + - name: Install tooling + uses: CompeyDev/setup-rokit@v0.1.2 + with: + cache: true + + - name: Install pesde + uses: ./.github/workflows/pesde.yml + with: + pesde-token: ${{ secrets.PESDE_TOKEN }} + + - name: Install dependencies + run: pesde install + + - name: Run tests + run: lune run tests