Skip to content
Backport

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

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 #15471

Triggered via pull request December 9, 2025 11:22
@KhaKha
closed #11485
Status Success
Total duration 5s
Artifacts –

backport.yml

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