feat: Decidable as subtype of Bool
#43178
| Job | Run time |
|---|---|
| 6s | |
| 38m 42s | |
| 50m 55s | |
| 1h 6m 13s | |
| 48m 3s | |
| 39m 10s | |
| 1h 27m 34s | |
| 51m 39s | |
| 3s | |
| -1s | |
| -1s | |
| 6h 22m 23s |
Decidable as subtype of Bool
#43178
| Job | Run time |
|---|---|
| 6s | |
| 38m 42s | |
| 50m 55s | |
| 1h 6m 13s | |
| 48m 3s | |
| 39m 10s | |
| 1h 27m 34s | |
| 51m 39s | |
| 3s | |
| -1s | |
| -1s | |
| 6h 22m 23s |