CI: update CI config to include Emacs 29.3#766

Merged

hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:ci-emacs-29-3

May 2, 2024

+71-60

Commits on Apr 29, 2024

CI: update CI config to include Emacs 29.3
hendriktews
committed