prov/shm: Add unmap_region function #149

	name: GH Man Page Updater

	on:
	push:
	branches:
	- main
	paths:
	- 'man/*.md'
	- 'fabtests/man/*.md'
	workflow_dispatch:

	jobs:
	gh-man-update:
	name: GH Man Page Updater
	runs-on: ubuntu-latest
	permissions:
	contents: write
	pull-requests: write
	steps:
	- name: Debug information
	env:
	GITHUB_DATA: ${{ toJSON(github) }}
	run: \|
	echo This is information that may be useful for debugging.
	echo "$GITHUB_DATA"

	- name: Check out the git repo
	uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4.2.1

	- name: Update the man pages in branch gh-pages
	run: .github/workflows/gh-man.sh
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	REPO: ${{ github.event.repository.full_name }}
	BASE_REF: ${{ github.event.repository.default_branch }}

Provide feedback