Merge pull request #2283 from qwerty3345/apply-existential-any #1318
| Job | Run time |
|---|---|
| 54s | |
| 54s | |
| 50s | |
| 50s | |
| 1m 5s | |
| 1m 5s | |
| 1m 9s | |
| 58s | |
| 1m 1s | |
| 1m 1s | |
| 52s | |
| 52s | |
| 55s | |
| 55s | |
| 53s | |
| 53s | |
| 15m 7s |
| Job | Run time |
|---|---|
| 54s | |
| 54s | |
| 50s | |
| 50s | |
| 1m 5s | |
| 1m 5s | |
| 1m 9s | |
| 58s | |
| 1m 1s | |
| 1m 1s | |
| 52s | |
| 52s | |
| 55s | |
| 55s | |
| 53s | |
| 53s | |
| 15m 7s |