Adds pybind11 + carma config #42

	name: Build PR

	on:
	pull_request_target

	env:
	IMAGE_NAME: devenv

	jobs:
	docker:
	runs-on: ubuntu-latest
	if: ${{ github.actor == 'dependabot[bot]' }}
	steps:
	-
	name: Checkout
	uses: actions/checkout@v4
	-
	name: Set up Docker Buildx
	uses: docker/setup-buildx-action@v3
	with:
	install: true
	-
	name: Login to GitHub Container Registry
	uses: docker/login-action@v3
	with:
	registry: ghcr.io
	username: ${{ github.repository_owner }}
	password: ${{ secrets.GITHUB_TOKEN }}
	-
	name: Set environmen variables
	run: \|
	IMAGE_ID=ghcr.io/${{ github.repository_owner }}/$IMAGE_NAME
	# Change all uppercase to lowercase
	echo "IMAGE_ID=$(echo $IMAGE_ID \| tr '[A-Z]' '[a-z]')" >> $GITHUB_ENV
	-
	name: Build and push
	uses: docker/build-push-action@v5
	with:
	context: .
	push: true
	tags:
	ghcr.io/${{ env.IMAGE_ID }}:PR
	# cache-from: type=gha
	# cache-to: type=gha,mode=max

Provide feedback