[nongnu] elpa/proof-general 32b15ff 4/4: Adding the CI for indentation.

[ELPA Syncer]

branch: elpa/proof-general
commit 32b15ff26be8722950e5f67a087e6fd9d67197bd
Author: Pierre COURTIEU <pierre.courtieu@cnam.fr>
Commit: Pierre Courtieu <Matafou@users.noreply.github.com>

    Adding the CI for indentation.
---
 .github/workflows/test.yml | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 7fcc473..9874fa4 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -223,3 +223,32 @@ jobs:
             sudo chown -R coq:coq ./ci
             make -C ci/simple-tests all
           endGroup
+
+  # Run indentation tests in ci/test-indent on all supported emacs
+  # versions without coq installed.
+  test-indent:
+    runs-on: ubuntu-latest
+
+    strategy:
+      matrix:
+        emacs_version:
+          - 25.1
+          - 25.2
+          - 25.3
+          - 26.1
+          - 26.2
+          - 26.3
+          - 27.1
+      max-parallel: 4
+      # don't cancel all in-progress jobs if one matrix job fails:
+      fail-fast: false
+
+    steps:
+    - uses: actions/checkout@v2
+
+    - uses: purcell/setup-emacs@master
+      with:
+        version: ${{ matrix.emacs_version }}
+
+    - run: emacs --version
+    - run: make -C ci/test-indent