Add a warning if a region is never closed unexpectedly #14
| Job | Run time |
|---|---|
| 12m 56s | |
| 14m 15s | |
| 13m 42s | |
| 9m 44s | |
| 12m 59s | |
| 12m 53s | |
| 14m 1s | |
| 14m 25s | |
| 9m 16s | |
| 10m 14s | |
| 2h 4m 25s |
| Job | Run time |
|---|---|
| 12m 56s | |
| 14m 15s | |
| 13m 42s | |
| 9m 44s | |
| 12m 59s | |
| 12m 53s | |
| 14m 1s | |
| 14m 25s | |
| 9m 16s | |
| 10m 14s | |
| 2h 4m 25s |