CI

Merge branch 'master' into #1200_unnecessary_updates #2550

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Checks	3m 13s
Code Checks	3m 13s
Code Checks	3m 13s
Tests	11m 43s
Tests	11m 45s
Tests	11m 51s
benchmark tests	0s
benchmark tests	0s
benchmark tests	6m 38s
	51m 36s