Add bucket allocator for device memory #3226

	name: Git commit checks

	# We're using pull_request_target here instead of just pull_request so that the
	# action runs in the context of the base of the pull request, rather than in the
	# context of the merge commit. For more detail about the differences, see:
	# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target
	on:
	pull_request_target:
	# We don't need this to be run on all types of PR behavior
	# See https://docs.github.com/en/actions/reference/events-that-trigger-workflows#pull_request
	types:
	- opened
	- synchronize
	- edited

	permissions: {} # none

	jobs:
	check:
	permissions:
	pull-requests: write
	name: Check Commits
	runs-on: ubuntu-latest
	steps:
	- name: Pull Request Commit Checker
	uses: open-mpi/pr-git-commit-checker@v1.0.1
	with:
	token: "${{ secrets.GITHUB_TOKEN}}"
	label:
	permissions:
	pull-requests: write
	name: Label Pull Request
	runs-on: ubuntu-latest
	steps:
	- name: Pull Request Labeler
	uses: open-mpi/pr-labeler@v1.0.1
	with:
	token: "${{ secrets.GITHUB_TOKEN }}"

	milestone:
	permissions:
	issues: write
	pull-requests: write
	name: Milestone Pull Request
	runs-on: ubuntu-latest
	steps:
	- name: Pull Request Milestoner
	uses: open-mpi/pr-milestoner@v1.0.1
	with:
	token: "${{ secrets.GITHUB_TOKEN }}"

Provide feedback