This repository has been archived by the owner on Apr 24, 2024. It is now read-only.
Use different filter for executable filenames on non-Windows systems #247
| Job | Run time |
|---|---|
| 14m 21s | |
| 15m 11s | |
| 29m 32s |
| Job | Run time |
|---|---|
| 14m 21s | |
| 15m 11s | |
| 29m 32s |