build: Switch docs workflow to official GitHub actions #387
Run time
Learn about OS # on GitHub ActionsJob | Run time |
---|---|
44s | |
44s | |
50s | |
44s | |
50s | |
1m 21s | |
42s | |
1m 17s | |
1m 10s | |
8m 22s |
Job | Run time |
---|---|
44s | |
44s | |
50s | |
44s | |
50s | |
1m 21s | |
42s | |
1m 17s | |
1m 10s | |
8m 22s |