docs: use oranda to generate docs website (#10)
#5
| Job | Run time |
|---|---|
| 26s | |
| 9s | |
| 35s |
oranda to generate docs website (#10)
#5
| Job | Run time |
|---|---|
| 26s | |
| 9s | |
| 35s |