bolts: Simplify definition of nonzero!
macro
#12818
Job | Run time |
---|---|
2s | |
1s | |
2s | |
1s | |
1s | |
1s | |
3s | |
2s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
3s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
36s |