ci

Merge commit '1a2c857bb9e67ba51a62c02590d08491948c326e' #4

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
build-chm	1m 0s
init	2s
log-the-inputs	1s
display results	1s
make distcheck	2m 0s
macos-13 type=Debug	1m 58s
macos-13 type=Release	1m 56s
ubuntu-20.04 type=Debug	1m 5s
ubuntu-20.04 type=Release	1m 35s
ubuntu-22.04 type=Debug	1m 4s
ubuntu-22.04 type=Release	1m 9s
ubuntu-24.04 type=Debug	1m 1s
ubuntu-24.04 type=Release	1m 18s
windows-2019 type=Debug	1m 23s
windows-2019 type=Release	2m 4s
windows-2022 type=Debug	1m 32s
windows-2022 type=Release	2m 16s
	21m 25s