Adding some practical tests for intersection types in context of using them for 'refining' types #1167
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 9s | |
| 6s | |
| 6s | |
| 24m 10s | |
| 27m 33s | |
| 4m 23s | |
| 1m 11s | |
| 9m 41s | |
| 1m 59s | |
| 4m 55s | |
| 48m 33s | |
| 17m 11s | |
| 1s | |
| 2h 19m 58s |
| Job | Run time |
|---|---|
| 9s | |
| 6s | |
| 6s | |
| 24m 10s | |
| 27m 33s | |
| 4m 23s | |
| 1m 11s | |
| 9m 41s | |
| 1m 59s | |
| 4m 55s | |
| 48m 33s | |
| 17m 11s | |
| 1s | |
| 2h 19m 58s |