ci: Add doctests to CI again. #758

	name: Release Drafter

	on:
	push:
	# branches to consider in the event; optional, defaults to all
	branches:
	- main
	# pull_request event is required only for autolabeler
	pull_request:
	# Only following types are handled by the action, but one can default to all as well
	types: [opened, reopened, synchronize, edited]
	# pull_request_target event is required for autolabeler to support PRs from forks
	pull_request_target:
	types: [opened, reopened, synchronize, edited]

	permissions:
	contents: read

	jobs:
	update_release_draft:
	permissions:
	# write permission is required to create a github release
	contents: write
	# write permission is required for autolabeler
	# otherwise, read permission is required at least
	pull-requests: write
	runs-on: ubuntu-latest
	steps:
	# (Optional) GitHub Enterprise requires GHE_HOST variable set
	#- name: Set GHE_HOST
	# run: \|
	# echo "GHE_HOST=${GITHUB_SERVER_URL##https:\/\/}" >> $GITHUB_ENV

	# Drafts your next Release notes as Pull Requests are merged into "main"
	- uses: release-drafter/release-drafter@v6
	# (Optional) specify config name to use, relative to .github/. Default: release-drafter.yml
	# with:
	# config-name: my-config.yml
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback