Fix for #3851 -- cancel old actions if a commit comes along#3853

Merged

teverett merged 1 commit intoantlr:masterfrom kaby76:g4-3851

Nov 29, 2023

+3

Commits on Nov 27, 2023

Fix for #3851 -- cancel old actions if a new commit for a PR comes along
kaby76
committed