Migrated docs scripts to GitHub actions (#5345)
#75
| Job | Run time |
|---|---|
| 40s | |
| 40s |
docs scripts to GitHub actions (#5345)
#75
| Job | Run time |
|---|---|
| 40s | |
| 40s |