chore: change det deploy aws's default deployment type to simple-rds … #3890

	---
	name: "Lint docs"

	on: # yamllint disable-line rule:truthy
	pull_request:
	paths:
	- 'docs/*'
	push:
	branches:
	- 'main'
	- 'releases/**'

	jobs:
	lint-docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: 3.8.16
	- name: Install dependencies
	run: \|
	python --version
	python -m pip install --upgrade pip
	pip --version
	pip install -r docs/requirements.txt
	- name: Run checks
	run: make -C docs check

Provide feedback