Skip to content
Build Manual

Redirect "Edit on GitHub" links to the new branch #1412

Sign in to view logs

Redirect "Edit on GitHub" links to the new branch

Redirect "Edit on GitHub" links to the new branch #1412

Run time

Learn about OS pricing on GitHub Actions
Job Run time
HTML
42m 42s
PDF
29m 25s
1h 12m 7s