[CI] Remove docs CI from main

[jaimergp]

This block is failing on tags and is not needed:

constructor/.github/workflows/main.yml

Lines 182 to 193 in dc824e3

	- name: Build the documentation for deployment
	if: startsWith(github.ref, 'refs/tags/')
	run: |
	source $CONDA/bin/activate
	cd docs
	make html
	- name: Deploy the documentation
	if: startsWith(github.ref, 'refs/tags/')
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./docs/build/html