Build

Merge pull request #642 from zsoltk/renamings #1944

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	25m 17s
Instrumentation tests	50m 19s
Check documentation	19m 19s
Publication verification	2m 51s
Screenshot tests	18m 4s
	1h 55m 50s