add a Makefile to vendor/ (#2218)
#5622
| Job | Run time |
|---|---|
| 13m 42s | |
| 13m 46s | |
| 3m 27s | |
| 3m 14s | |
| 13m 28s | |
| 3m 32s | |
| 3m 17s | |
| 13m 40s | |
| 1h 8m 6s |
Makefile to vendor/ (#2218)
#5622
| Job | Run time |
|---|---|
| 13m 42s | |
| 13m 46s | |
| 3m 27s | |
| 3m 14s | |
| 13m 28s | |
| 3m 32s | |
| 3m 17s | |
| 13m 40s | |
| 1h 8m 6s |