[nongnu] elpa/proof-general updated (28c1dc0092 -> ec4f9bad18)

[ELPA Syncer]

elpasync pushed a change to branch elpa/proof-general.

      from  28c1dc0092 CI: fix ci/coq-tests.el for emacs 28
       new  83507b4c0c test various Coq and Emacs versions using 
docker-coq-action
       new  ec4f9bad18 CI: add emacs 28.1, phase out some coq 8.11, 8.14 
combinations


Summary of changes:
 .github/workflows/test.yml | 245 ++++++++++++++++++++++++++++++---------------
 1 file changed, 167 insertions(+), 78 deletions(-)