[CI] Set up deploy workflow for GitHub pages
#70
| Job | Run time |
|---|---|
| 37s | |
| 33s | |
| 7s | |
| 28s | |
| 1m 45s |
deploy workflow for GitHub pages
#70
| Job | Run time |
|---|---|
| 37s | |
| 33s | |
| 7s | |
| 28s | |
| 1m 45s |