chore: Add scripts for stdlib format and stdlib doc (#2225)
#1074
| Job | Run time |
|---|---|
| 22m 18s | |
| 22m 13s | |
| 44m 31s |
stdlib format and stdlib doc (#2225)
#1074
| Job | Run time |
|---|---|
| 22m 18s | |
| 22m 13s | |
| 44m 31s |