hwloc: change what's bold or not in the mainpage download summary #41

	name: GitHub Action CI

	# We're using pull_request_target here instead of just pull_request so that the
	# action runs in the context of the base of the pull request, rather than in the
	# context of the merge commit. For more detail about the differences, see:
	# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target
	on:
	pull_request_target:
	# We don't need this to be run on all types of PR behavior
	# See https://docs.github.com/en/actions/reference/events-that-trigger-workflows#pull_request
	types:
	- opened
	- synchronize
	- edited

	permissions: {} # none

	jobs:
	check:
	permissions:
	pull-requests: write
	name: Check Commits
	runs-on: ubuntu-latest
	steps:
	- name: Pull Request Commit Checker
	uses: open-mpi/[email protected]
	with:
	token: "${{ secrets.GITHUB_TOKEN}}"

Provide feedback