feat: Add support for user-defined builtins with Dune plugins #606
| Job | Run time |
|---|---|
| 6m 11s | |
| 5m 53s | |
| 6m 13s | |
| 5m 57s | |
| 5m 28s | |
| 6m 30s | |
| 5m 33s | |
| 1m 22s | |
| 1m 31s | |
| 6m 59s | |
| 6m 25s | |
| 8m 8s | |
| 8m 1s | |
| 6m 39s | |
| 9m 41s | |
| 9m 54s | |
| 10m 15s | |
| 9m 49s | |
| 9m 18s | |
| 10m 34s | |
| 2h 20m 21s |
| Job | Run time |
|---|---|
| 6m 11s | |
| 5m 53s | |
| 6m 13s | |
| 5m 57s | |
| 5m 28s | |
| 6m 30s | |
| 5m 33s | |
| 1m 22s | |
| 1m 31s | |
| 6m 59s | |
| 6m 25s | |
| 8m 8s | |
| 8m 1s | |
| 6m 39s | |
| 9m 41s | |
| 9m 54s | |
| 10m 15s | |
| 9m 49s | |
| 9m 18s | |
| 10m 34s | |
| 2h 20m 21s |