build and test

Merging branch/2023-02-22/manual-rtd-theme for GitHub pull request #1… #568

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
windows	6m 58s
posix (ubuntu-latest, clang)	13m 55s
posix (ubuntu-latest, gcc)	9m 26s
posix (macos-latest, clang)	4m 19s
	34m 38s