feat: Add ColBert (#1563) #2285

	# GitHub action for the task table generation.

	name: documentation

	on:
	push:
	branches: [main]
	pull_request:

	jobs:
	create-table-on-pr:
	if: github.event_name == 'pull_request'
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3

	- uses: actions/setup-python@v4
	with:
	python-version: "3.10"
	cache: "pip"

	- name: Install dependencies
	run: \|
	make install

	- name: Create table
	run: \|
	make build-docs

	create-table-and-push:
	if: github.ref == 'refs/heads/main'
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	token: ${{ secrets.RELEASE }}

	- uses: actions/setup-python@v4
	with:
	python-version: "3.10"
	cache: "pip"

	- name: Install dependencies
	run: \|
	make install

	- name: Create table
	run: \|
	make build-docs

	- name: Push table
	run: \|
	git config --global user.email "github-actions[bot]@users.noreply.github.com"
	git config --global user.name "github-actions[bot]"
	# Check if changes exist
	if git diff --quiet; then
	echo "No changes detected"
	else
	git add docs/tasks.md
	git commit -m "Update tasks table"
	git push
	fi

Provide feedback