feat: add pull request workflow for automated Emacs tests#13

guitmz wants to merge 1 commit into

jonathanchu:mainjonathanchu/grove:mainfrom

guitmz:ert-workflow-cleanguitmz/grove:ert-workflow-cleanCopy head branch name to clipboard