Port typecheck_one_test.sh to batch and fix check_differences.bat…
#1188
| Job | Run time |
|---|---|
| 10m 25s | |
| 18m 58s | |
| 29m 23s |
typecheck_one_test.sh to batch and fix check_differences.bat…
#1188
| Job | Run time |
|---|---|
| 10m 25s | |
| 18m 58s | |
| 29m 23s |