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

[ELPA Syncer]

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

      from  911cf014b8 test-omit-proofs: skip for Coq 8.8 or older
       new  dac9b5d32e ci/coq-tests: expect 060_coq-test-wholefile to fail for 
8.17
       new  e7aad1df36 CI: update Coq/Emacs versions used in CI to latest 
versions


Summary of changes:
 .github/workflows/test.yml | 162 +++++++++++++++++++++------------------------
 ci/coq-tests.el            |   2 +
 coq/coq-system.el          |  12 ++++
 3 files changed, 89 insertions(+), 87 deletions(-)