repair check in $describe-fasl-from-port
#311
| Job | Run time |
|---|---|
| 30m 47s | |
| 14m 51s | |
| 21m 4s | |
| 8m 11s | |
| 10m 41s | |
| 11m 13s | |
| 14m 15s | |
| 8m 51s | |
| 11m 53s | |
| 8m 15s | |
| 11m 44s | |
| 14m 36s | |
| 11m 39s | |
| 14m 53s | |
| 13m 48s | |
| 3h 26m 41s |