Skip to content
Backport

fix: ensure padding bytes for lean::mpz objects in olean files are zero #15326

Sign in to view logs

fix: ensure padding bytes for lean::mpz objects in olean files are zero

fix: ensure padding bytes for lean::mpz objects in olean files are zero #15326

Triggered via pull request December 3, 2025 13:27
@KhaKha
labeled #11485
Status Skipped
Total duration 11s
Artifacts –

backport.yml

on: pull_request_target
Backport
0s
Backport
Fit to window
Zoom out
Zoom in