fix: ensure padding bytes for lean::mpz objects in olean files are zero
#15326
| Job | Run time |
|---|---|
| 0s | |
| 0s |
lean::mpz objects in olean files are zero
#15326
| Job | Run time |
|---|---|
| 0s | |
| 0s |