50ee878097
PR already runs test+lint+vulncheck on the same commit. Running identical jobs again on merge wastes ~10min of runner.