[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode 51caa5f3a5 15/18: Merge pull request #585 from
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode 51caa5f3a5 15/18: Merge pull request #585 from keram/emacs28-and-cache-v3 |
Date: |
Thu, 8 Dec 2022 05:59:08 -0500 (EST) |
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 ]
- [nongnu] elpa/idris-mode updated (4a36953e76 -> 744f773bb4), ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 8c1a079a8e 03/18: Use idris-notes-buffer-name in idris-notes-quit, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 3f7eef3569 02/18: Split idris-list-compiler-notes to idris-compiler-notes-list-show, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 3d460800a4 01/18: Remove unecessary pop or display notes buffer, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode a971194d56 14/18: Merge pull request #582 from keram/notes-error-buffer-code-cleanup, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 51caa5f3a5 15/18: Merge pull request #585 from keram/emacs28-and-cache-v3,
ELPA Syncer <=
- [nongnu] elpa/idris-mode 43aead3c46 05/18: Make idris-compiler-notes-list-show more similar with idris-hole-list-show, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 68fe8e115f 06/18: Move idris-list-compiler-notes into idris-commands.el, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 80861674a6 08/18: Debug CI idris2 failure 2 - try retry to wait for idris version in idris-switch-working-directory, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 94a88cdb99 07/18: Restore position after case split, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 888bf9614f 04/18: Make notes buffer special and make the show function similar to holes one, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 063a63b770 17/18: Merge pull request #586 from idris-hackers/revert-583-update-pr-465, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 9a4a9641b9 10/18: [ new ] intro command - backport from idris2-mode, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode 5b3c88dc1d 11/18: Add test for idris-refine, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode a9d12c89e2 12/18: Add Emacs 28.2 to test matrix and, ELPA Syncer, 2022/12/08
- [nongnu] elpa/idris-mode b39a08790e 13/18: Merge pull request #583 from keram/update-pr-465, ELPA Syncer, 2022/12/08