Change RDLIST default numbers. #141

	name: Coverity Scan

	# We only want to test official release code, not every pull request.
	on:
	push:
	branches: [main]

	jobs:
	coverity:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	with:
	fetch-depth: 1

	- name: Configure CMake
	run: cmake -B ${{github.workspace}} -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}

	- uses: vapier/coverity-scan-action@v1
	with:
	email: ${{ secrets.COVERITY_SCAN_EMAIL }}
	token: ${{ secrets.COVERITY_SCAN_TOKEN }}

Provide feedback