[nongnu] elpa/proof-general 75062f6 2/6: test: Add dist-tests target & Refactor .github/workflows/test.yml

[ELPA Syncer]

branch: elpa/proof-general
commit 75062f60d410b924f4019b27d758cdb4cfdddc50
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>

    test: Add dist-tests target & Refactor .github/workflows/test.yml
---
 .github/workflows/test.yml |  2 +-
 Makefile                   | 11 ++++++++++-
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 9874fa4..3979ba2 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -123,7 +123,7 @@ jobs:
           endGroup
           startGroup Run tests
             sudo chown -R coq:coq ./ci
-            ./ci/test.sh
+            make tests
           endGroup
 
   # - run: echo "::remove-matcher owner=ert-problem-matcher::"
diff --git a/Makefile b/Makefile
index 668241b..986aed6 100644
--- a/Makefile
+++ b/Makefile
@@ -121,12 +121,21 @@ check: $(EL)
        @echo "****************************************************************"
 
 ##
-## tests : run regression tests
+## tests : run a selection of regression tests
 ##
+.PHONY: tests
 tests:
        ci/test.sh
 
 ##
+## dist-tests : run all regression tests
+##
+.PHONY: dist-tests
+dist-tests:
+       +$(MAKE) -C ci/simple-tests all
+       +$(MAKE) -C ci/compile-tests test
+
+##
 ## Make an individual .elc.  Building separately means we need to be
 ## careful to add proper requires in source files and prevent
 ## evaluating/optimising top-level forms too early.  Using a separate