Build pull request

Fix logging of sleep time #3609

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci_pipe / Check	18m 20s
ci_pipe / Build	14m 56s
ci_pipe / Test	43m 0s
ci_pipe / Documentation	24m 41s
	1h 40m 57s