github: Prevent duplicate CI runs