Bump prio and adjust Prio3 key size
#2773
| Job | Run time |
|---|---|
| 11m 6s | |
| 7m 48s | |
| 18m 54s |
prio and adjust Prio3 key size
#2773
| Job | Run time |
|---|---|
| 11m 6s | |
| 7m 48s | |
| 18m 54s |