CI

Merge remote-tracking branch 'upstream/devel' into devel+classic #491

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker-build-check	10m 36s
tests-windows (windows-2022)	9m 16s
tests (ubuntu-20.04)	2m 53s
tests (macos-11)	3m 9s
	25m 54s