chore: add external/ directory to gitignore #631
| Job | Run time |
|---|---|
| 34s | |
| 26s | |
| 2m 14s | |
| 1m 13s | |
| 2m 2s | |
| 1m 16s | |
| 2m 39s | |
| 2m 10s | |
| 3m 51s | |
| 3m 24s | |
| 3m 5s | |
| 3m 38s | |
| 3m 21s | |
| 4m 3s | |
| 2m 51s | |
| 36m 47s |
| Job | Run time |
|---|---|
| 34s | |
| 26s | |
| 2m 14s | |
| 1m 13s | |
| 2m 2s | |
| 1m 16s | |
| 2m 39s | |
| 2m 10s | |
| 3m 51s | |
| 3m 24s | |
| 3m 5s | |
| 3m 38s | |
| 3m 21s | |
| 4m 3s | |
| 2m 51s | |
| 36m 47s |