Bring kimchi/generic-cols into Keccak branches
#3271
| Job | Run time |
|---|---|
| 44m 43s | |
| 44m 56s | |
| 1h 29m 39s |
kimchi/generic-cols into Keccak branches
#3271
| Job | Run time |
|---|---|
| 44m 43s | |
| 44m 56s | |
| 1h 29m 39s |