immer: Use latest builder #1256

	name: PR helper
	on:
	pull_request_target:
	types: [opened]
	branches:
	- master
	paths:
	- 'projects/**'

	jobs:
	build:
	runs-on: ubuntu-latest

	permissions:
	contents: read
	pull-requests: write

	steps:
	- uses: actions/checkout@v3
	- name: Setup python environment
	uses: actions/setup-python@v3
	with:
	python-version: 3.8
	cache: pip
	cache-dependency-path: \|
	infra/ci/requirements.txt

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install -r infra/ci/requirements.txt

	- name: setup go environment
	uses: actions/setup-go@v4
	with:
	go-version: 'stable'
	- run: go install github.com/ossf/criticality_score/cmd/criticality_score@latest

	- name: Check if authors are authorized to modify.
	id: checkAuthor
	env:
	GITHUBTOKEN: ${{secrets.GITHUB_TOKEN}}
	PRAUTHOR: ${{ github.event.pull_request.user.login }}
	PRNUMBER: ${{ github.event.pull_request.number }}
	run: python infra/pr_helper.py

	- name: Leave comments
	if: env.IS_INTERNAL == 'FALSE'
	uses: actions/github-script@v6
	with:
	github-token: ${{secrets.GITHUB_TOKEN}}
	script: \|
	github.rest.issues.createComment({
	issue_number: context.issue.number,
	owner: context.repo.owner,
	repo: context.repo.repo,
	body: process.env.MESSAGE
	})

	- name: Add labels for valid PR
	if: env.IS_READY_FOR_MERGE == 'True'
	uses: actions/github-script@v6
	with:
	script: \|
	github.rest.issues.addLabels({
	issue_number: context.issue.number,
	owner: context.repo.owner,
	repo: context.repo.repo,
	labels: ['Ready to merge']
	})

Provide feedback