diff --git a/.github/workflows/idris1.yml b/.github/workflows/idris1.yml index 589cbb9d..3095d7fa 100644 --- a/.github/workflows/idris1.yml +++ b/.github/workflows/idris1.yml @@ -19,7 +19,7 @@ jobs: timeout-minutes: 60 strategy: matrix: - emacs: [25.3, 26.1, 27.2, 28.2] + emacs: [27.2, 28.2, 29.3] idris: [git, stackage] env: EMACS_VERSION: ${{ matrix.emacs }} diff --git a/.github/workflows/idris2.yml b/.github/workflows/idris2.yml index f7d83570..a89e6dec 100644 --- a/.github/workflows/idris2.yml +++ b/.github/workflows/idris2.yml @@ -30,7 +30,7 @@ jobs: strategy: matrix: - emacs: [25.3, 26.3, 27.2, 28.2] + emacs: [27.2, 28.2, 29.3] env: EMACS_VERSION: ${{ matrix.emacs }}