CONTRACTS: allow is_fresh to fail in assume contexts
#10805
| Job | Run time |
|---|---|
| 32m 39s | |
| 6h 0m 19s | |
| 6h 0m 15s | |
| 3m 6s | |
| 10m 14s | |
| 4m 50s | |
| 25m 26s | |
| 19m 20s | |
| 6h 0m 22s | |
| 6h 0m 14s | |
| 18m 24s | |
| 6h 0m 15s | |
| 6h 0m 8s | |
| 21m 5s | |
| 2m 8s | |
| 28m 0s | |
| 23m 7s | |
| 4m 36s | |
| 1d 15h 14m 28s |