Update and simplify Github Action for regression testing.#268

davexparker wants to merge 2 commits intoprismmodelchecker:masterprismmodelchecker/prism:masterfrom

davexparker:test-actiondavexparker/prism:test-actionCopy head branch name to clipboard