schemerz: Rename the one API with schemer in its name
#14
| Job | Run time |
|---|---|
| 10s | |
| 4m 7s | |
| 4m 36s | |
| 39s | |
| 9m 32s |
schemer in its name
#14
| Job | Run time |
|---|---|
| 10s | |
| 4m 7s | |
| 4m 36s | |
| 39s | |
| 9m 32s |