Build

Merge pull request #650 from manuel-martos/remove-dead-code #1928

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	32m 10s
Check documentation	22m 23s
Publication verification	3m 17s
Instrumentation tests	34m 27s
Screenshot tests	17m 49s
	1h 50m 6s