[nongnu] elpa/proof-general updated (a894bcc5f9 -> 2a8701209b)

[ELPA Syncer]

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

      from  a894bcc5f9 test: Replace `omega` with `lia` in CI & Test more Coq 
versions (#650)
       new  dd8f8b4034 CI compile tests: expect 008-default-dir to fail for 
8.15.0
       new  2a8701209b CI workflow: Enable new Emacs versions until 27.2


Summary of changes:
 .github/workflows/test.yml                  |  4 +++-
 ci/compile-tests/008-default-dir/runtest.el | 14 ++++++++++++--
 2 files changed, 15 insertions(+), 3 deletions(-)