coredump: coredump_add_memory_region need use flags #2879

	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.
	#
	---
	name: "Build Documentation"

	on:
	push:
	branches:
	- master
	paths:
	- 'Documentation/**'

	pull_request:
	paths:
	- 'Documentation/**'

	concurrency:
	group: docs-${{ github.event.pull_request.number \|\| github.ref }}
	cancel-in-progress: true

	permissions:
	contents: read

	jobs:
	build-html:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: '3.8'
	- name: Generate Documentation
	run: \|
	cd Documentation/
	pip3 install pipenv
	pipenv install
	pipenv run make html
	- uses: actions/upload-artifact@v4
	with:
	name: sphinx-docs
	path: \|
	Documentation/_build/html/
	Documentation/_build/latex/*.pdf

Provide feedback