Update MSRV to 1.80 #11030

	# Jobs that only run for external contributors.
	# These have to be carefully sanitized, we don't want to leak secrets.
	name: Pull-Request-Target (Contrib)

	on:
	# This will run workflows triggered by a pull request from the _base_ branch.
	# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target
	pull_request_target:
	types:
	- opened
	- synchronize

	defaults:
	run:
	shell: bash

	permissions:
	contents: "read"
	pull-requests: "write" # Updates PR body

	jobs:
	update-pr-body:
	name: Update PR body
	if: github.event.pull_request.head.repo.owner.login != 'rerun-io'
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- uses: prefix-dev/[email protected]
	with:
	pixi-version: v0.34.0

	- name: Update PR description
	run: \|
	pixi run ./scripts/ci/update_pr_body.py \
	--github-token '${{ secrets.GITHUB_TOKEN }}' \
	--github-repository '${{ github.repository }}' \
	--pr-number '${{ github.event.pull_request.number }}'

Provide feedback