Fix issue #12000: Parsing arXiv Id when importing a PDF with arXiv Id #1271

	name: Cleanup after PR

	on:
	pull_request:
	types: [closed]

	jobs:
	cleanup:
	runs-on: ubuntu-latest
	steps:
	- name: Cancel deployment run
	uses: styfle/[email protected]
	with:
	ignore_sha: true
	workflow_id: 9813 # workflow "Deployment"
	- name: Check secrets presence
	id: checksecrets
	shell: bash
	run: \|
	if [ "$BUILDJABREFPRIVATEKEY" == "" ]; then
	echo "secretspresent=NO" >> $GITHUB_OUTPUT
	echo "❌ Secret BUILDJABREFPRIVATEKEY not present"
	else
	echo "secretspresent=YES" >> $GITHUB_OUTPUT
	echo "✔️ Secret BUILDJABREFPRIVATEKEY present"
	fi
	env:
	BUILDJABREFPRIVATEKEY: ${{ secrets.buildJabRefPrivateKey }}
	- name: Delete folder on builds.jabref.org
	if: steps.checksecrets.outputs.secretspresent == 'YES'
	uses: appleboy/[email protected]
	with:
	script: rm -rf /var/www/builds.jabref.org/www/pull/${{ github.event.pull_request.number }} \|\| true
	host: build-upload.jabref.org
	port: 9922
	username: jrrsync
	key: ${{ secrets.buildJabRefPrivateKey }}
	- name: Update PR comment
	if: steps.checksecrets.outputs.secretspresent == 'YES'
	uses: thollander/actions-comment-pull-request@v3
	with:
	comment-tag: download-link
	message: The build for this PR is no longer available. Please visit <https://builds.jabref.org/main/> for the latest build.
	mode: upsert

Provide feedback