ci

Merge commit '1a2c857bb9e67ba51a62c02590d08491948c326e' #3

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
build-chm	52s
init	1s
log-the-inputs	1s
display results	1s
make distcheck	2m 18s
macos-13 type=Debug	1m 12s
macos-13 type=Release	1m 29s
ubuntu-20.04 type=Debug	1m 0s
ubuntu-20.04 type=Release	1m 12s
ubuntu-22.04 type=Debug	55s
ubuntu-22.04 type=Release	1m 9s
ubuntu-24.04 type=Debug	1m 1s
ubuntu-24.04 type=Release	1m 13s
windows-2019 type=Debug	1m 29s
windows-2019 type=Release	1m 59s
windows-2022 type=Debug	1m 53s
windows-2022 type=Release	1m 55s
	19m 40s