ci: deploy_to_pipy: Add id-token permission #4

	name: Deployment Workflow

	on:
	push:
	branches:
	- master

	jobs:
	deploy:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout Code
	uses: actions/checkout@v2
	with:
	submodules: recursive

	- name: Setup Environment
	run: \|
	pip install jinja2
	generate/generate-python.py --output-dir=brping
	git config remote.origin.fetch "+refs/heads/:refs/remotes/origin/"
	git fetch origin deployment
	git config user.email "[email protected]"
	git config user.name "BlueRobotics-CI"

	- name: install and test
	run: \|
	echo "installing package..."
	pip install . --user

	echo "testing message api..."
	python brping/pingmessage.py


	- name: Generate and Commit Files
	run: \|
	ci/deploy.sh

	- name: Commit Changes
	run: \|
	git commit -m "update autogenerated files for $(git rev-parse HEAD@{2})" \|\| exit 0

	- name: Push changes
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: deployment

Provide feedback