Repository navigation

Update dependency pyjwt to v2.14.0 #143

	---
	name: Delete closed PR container image tag

	"on":
	pull_request:
	types:
	- closed
	merge_group:
	types:
	- destroyed

	permissions:
	packages: write

	jobs:
	cleanup-pr-tag:
	runs-on: ubuntu-latest
	steps:
	- name: Set image version for PR to branch name
	if: github.event_name == 'pull_request'
	run: echo "VERSION=${GITHUB_HEAD_REF//\//-}" >> ${GITHUB_ENV}
	- name: Set image version for merge queue to branch name
	if: github.event_name == 'merge_group'
	run: echo "VERSION=${GITHUB_REF//\//-}" >> ${GITHUB_ENV}

	- name: Delete PR container image tag
	uses: dataaxiom/ghcr-cleanup-action@v1
	with:
	tags: ${{ env.VERSION }}
	package: ${{ github.event.repository.name }}
	token: ${{ secrets.GITHUB_TOKEN }}
	# NOTE(sg): When we delete a tag, we need to explicitly enable
	# `delete-untagged` to also cleanup the now untagged images. Here,
	# we probably don't need to have an age guard, since this action
	# will almost certainly always run before other (renovate) PRs are
	# updated to the latest master branch.
	delete-untagged: true