doc: make doc without requiring nix magic
#2256
| Job | Run time |
|---|---|
| 11s | |
| 0s | |
| 11s |
make doc without requiring nix magic
#2256
| Job | Run time |
|---|---|
| 11s | |
| 0s | |
| 11s |