don’t we already ci for PR before merging to master? maybe I’m failing to see what more it offers