Back to pull request #2804

Merge branch 'master' into dev/pedro/uni #6136

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux-amd64	30m 15s
macos-amd64	50m 20s
Lint Fluffy	6s
windows-amd64	1h 14m 24s
testutp	16m 42s
	2h 51m 47s