Merge pull request #157 from goblint/builtin_types_compatible #667
| Job | Run time |
|---|---|
| 21m 14s | |
| 21m 5s | |
| 22m 50s | |
| 18m 5s | |
| 17m 45s | |
| 20m 13s | |
| 16m 41s | |
| 16m 39s | |
| 17m 59s | |
| 17m 56s | |
| 17m 53s | |
| 13m 13s | |
| 11m 52s | |
| 11m 20s | |
| 10m 43s | |
| 8m 34s | |
| 9m 5s | |
| 10m 1s | |
| 8m 45s | |
| 8m 34s | |
| 9m 18s | |
| 8m 39s | |
| 5h 18m 24s |