[nongnu] elpa/proof-general updated (99f91e873e -> 837f587bd5)

[ELPA Syncer]

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

      from  99f91e873e fix(coq.el): (setq proof-shell-strip-crs-from-input nil) 
(#774)
       new  c164b74409 CI: update to Coq 8.19.2 and Emacs 29.4
       new  5058318d1b CI: update CI documentation and other minor improvements
       new  837f587bd5 Merge pull request #777 from hendriktews/ci-update


Summary of changes:
 .github/workflows/test.yml               | 110 ++++++++++++++---------------
 ci/doc/.gitignore                        |   1 +
 ci/doc/README.md                         | 117 +++++++++++++++++--------------
 ci/doc/coq-emacs-releases.org            |   3 +-
 ci/doc/currently-used-coq-emacs-versions |  34 ++++-----
 ci/doc/currently-used-coq-nix-versions   |   2 +-
 ci/tools/cipg.ml                         |  11 +++
 7 files changed, 151 insertions(+), 127 deletions(-)