[nongnu] elpa/idris-mode 51caa5f3a5 15/18: Merge pull request #585 from keram/emacs28-and-cache-v3

[ELPA Syncer]

branch: elpa/idris-mode
commit 51caa5f3a5aa8969a0ed44207c714de88b72860f
Merge: a971194d56 a9d12c89e2
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #585 from keram/emacs28-and-cache-v3
    
    Add Emacs 28.2 to test matrix and
---
 .github/workflows/idris1.yml | 13 +++++++------
 .github/workflows/idris2.yml |  8 +++++---
 2 files changed, 12 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/idris1.yml b/.github/workflows/idris1.yml
index 7281289453..589cbb9d90 100644
--- a/.github/workflows/idris1.yml
+++ b/.github/workflows/idris1.yml
@@ -16,9 +16,10 @@ jobs:
 
 # ---- [ Initialise Build Environment ]
     runs-on: ubuntu-latest
+    timeout-minutes: 60
     strategy:
       matrix:
-        emacs: [25.3, 26.1, 27.2]
+        emacs: [25.3, 26.1, 27.2, 28.2]
         idris: [git, stackage]
     env:
       EMACS_VERSION: ${{ matrix.emacs }}
@@ -49,7 +50,7 @@ jobs:
 
       - name: Cache stack global package-db
         id: stack-global
-        uses: actions/cache@v2
+        uses: actions/cache@v3
         with:
           path: ~/.stack
           key: ${{ runner.os }}-stack-global-${{ matrix.idris }}
@@ -58,7 +59,7 @@ jobs:
 
       - name: Cache stack-installed programs in ~/.local/bin
         id:   stack-programs
-        uses: actions/cache@v2
+        uses: actions/cache@v3
         with:
           path: ~/.local/bin
           key: ${{ runner.os }}-stack-programs-${{ matrix.idris }}
@@ -66,7 +67,7 @@ jobs:
                ${{ runner.os }}-stack-programs-${{ matrix.idris }}
 
       - name: Cache .stack-work
-        uses: actions/cache@v2
+        uses: actions/cache@v3
         with:
           path: .stack-work
           key: ${{ runner.os }}-stack-work-${{ matrix.idris }}
@@ -77,7 +78,7 @@ jobs:
       - name: Cache idris-dev-git/
         if: matrix.idris == 'git'
         id: idris-dev-git
-        uses: actions/cache@v2
+        uses: actions/cache@v3
         with:
           path: ~/idris-dev-git/
           key: ${{ runner.os }}-idris-dev-stack-work-${{ matrix.idris }}
@@ -103,7 +104,7 @@ jobs:
 
 # ----- [ Checkout and Run]
       - name: Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Run Tests
         run: |
diff --git a/.github/workflows/idris2.yml b/.github/workflows/idris2.yml
index b5d620de9e..838da56786 100644
--- a/.github/workflows/idris2.yml
+++ b/.github/workflows/idris2.yml
@@ -26,9 +26,11 @@ jobs:
   build:
     runs-on: ubuntu-latest
 
+    timeout-minutes: 60
+
     strategy:
       matrix:
-        emacs: [25.3, 26.3, 27.2]
+        emacs: [25.3, 26.3, 27.2, 28.2]
 
     env:
       EMACS_VERSION: ${{ matrix.emacs }}
@@ -46,7 +48,7 @@ jobs:
 ### -- [ Cache Idris2 ]
 
       - name: Cache Idris2
-        uses: actions/cache@v2
+        uses: actions/cache@v3
         id: cache-idris2
         with:
           path: |
@@ -83,7 +85,7 @@ jobs:
 ### -- [ Checkout the test ]
 
       - name: Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
 ### -- [ Test ]