Add API: make_proxy_observed
#21
| Job | Run time |
|---|---|
| 16m 47s | |
| 6m 44s | |
| 10m 4s | |
| 9m 56s | |
| 10m 23s | |
| 20s | |
| 8m 16s | |
| 3m 4s | |
| 1m 30s | |
| 1m 46s | |
| 2m 33s | |
| 3m 7s | |
| 2m 37s | |
| 3m 12s | |
| 18s | |
| 1h 20m 37s |
make_proxy_observed
#21
| Job | Run time |
|---|---|
| 16m 47s | |
| 6m 44s | |
| 10m 4s | |
| 9m 56s | |
| 10m 23s | |
| 20s | |
| 8m 16s | |
| 3m 4s | |
| 1m 30s | |
| 1m 46s | |
| 2m 33s | |
| 3m 7s | |
| 2m 37s | |
| 3m 12s | |
| 18s | |
| 1h 20m 37s |