Bump piped from `8d5f6d3` to `05de4b9` #587

	name: Resync piped

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	on:
	pull_request:
	branches:
	- master
	paths: ["piped", "piped.toml", "pyproject.toml"]

	jobs:
	resync-piped:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
	with:
	submodules: "true"

	- name: Set up Python 3.11
	uses: actions/setup-python@0b93645e9fea7318ecaed2b359559ac225c90a2b
	with:
	python-version: "3.11"

	- name: install prerequisites
	run: \|
	python -m pip install --upgrade pip wheel
	python -m pip install -r ./piped/python/base-requirements/nox.txt

	- name: Resync Piped
	run: python -m nox -s copy-piped bot-package-diff

	- uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882
	with:
	name: gogo.patch
	path: gogo.patch

	- name: Check diff file
	run: python -m nox -s is-diff-file-empty

Provide feedback