diff --git a/.github/workflows/idris1.yml b/.github/workflows/idris1.yml index 3095d7f..6b1d126 100644 --- a/.github/workflows/idris1.yml +++ b/.github/workflows/idris1.yml @@ -19,8 +19,8 @@ jobs: timeout-minutes: 60 strategy: matrix: - emacs: [27.2, 28.2, 29.3] - idris: [git, stackage] + emacs: [29.3] + idris: [git] env: EMACS_VERSION: ${{ matrix.emacs }} IDRIS_VERSION: ${{ matrix.idris }}