Documentation updates for un-deprecation of Spicy's port.
#250
| Job | Run time |
|---|---|
| 4m 36s | |
| 4m 43s | |
| 4m 48s | |
| 4m 32s | |
| 4m 30s | |
| 4m 53s | |
| 3m 54s | |
| 3m 28s | |
| 3m 54s | |
| 4m 42s | |
| 44m 0s |
port.
#250
| Job | Run time |
|---|---|
| 4m 36s | |
| 4m 43s | |
| 4m 48s | |
| 4m 32s | |
| 4m 30s | |
| 4m 53s | |
| 3m 54s | |
| 3m 28s | |
| 3m 54s | |
| 4m 42s | |
| 44m 0s |