Add sexp_of cenum attribute, use sexplib0 #184
Job | Run time |
---|---|
7m 4s | |
7m 33s | |
4m 24s | |
4m 36s | |
5m 28s | |
7m 22s | |
5m 48s | |
5m 1s | |
4m 40s | |
5m 38s | |
5m 1s | |
4m 52s | |
5m 4s | |
5m 27s | |
5m 30s | |
1h 23m 28s |
Job | Run time |
---|---|
7m 4s | |
7m 33s | |
4m 24s | |
4m 36s | |
5m 28s | |
7m 22s | |
5m 48s | |
5m 1s | |
4m 40s | |
5m 38s | |
5m 1s | |
4m 52s | |
5m 4s | |
5m 27s | |
5m 30s | |
1h 23m 28s |