Update distro tables #5946

	name: Update distro tables

	on:
	schedule:
	- cron: "0 /6 * *"
	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest
	if: github.ref == 'refs/heads/master'
	steps:
	- name: Checkout robostack.github.io
	uses: actions/checkout@v4
	- uses: prefix-dev/[email protected]
	- name: Create table noetic
	run: \|
	pixi run compare-completeness noetic robostack-staging
	- name: Create table foxy
	run: \|
	pixi run compare-completeness foxy robostack
	- name: Create table galactic
	run: \|
	pixi run compare-completeness galactic robostack-experimental
	- name: Create table humble
	run: \|
	pixi run compare-completeness humble robostack-staging
	- name: Create table jazzy
	run: \|
	pixi run compare-completeness jazzy robostack-jazzy
	- name: Commit changes
	id: commit
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "GitHub Action"
	git add docs/noetic.md
	git add docs/foxy.md
	git add docs/galactic.md
	git add docs/humble.md
	git add docs/jazzy.md
	git commit -m "Update tables"
	continue-on-error: true
	- name: Push changes
	if: steps.commit.outcome == 'success'
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: ${{ github.ref }}

Provide feedback