[nongnu] elpa/proof-general updated (e7aad1df36 -> aaad87da48)

[ELPA Syncer]

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

      from  e7aad1df36 CI: update Coq/Emacs versions used in CI to latest 
versions
       new  bd3615b442 ci/coq-tests: expect 060_coq-test-wholefile to pass for 
8.18
       new  aaad87da48 CI: changes for the new CI strategy


Summary of changes:
 .github/workflows/test.yml | 126 +++++++++++++++------------------------------
 ci/coq-tests.el            |   2 +-
 coq/coq-system.el          |   7 +--
 3 files changed, 47 insertions(+), 88 deletions(-)