Skip to content
Check PR body for changelog convention

fix: use the correct calling convention when over-applying a closure in lean_apply_m #48988

Sign in to view logs

fix: use the correct calling convention when over-applying a closure in lean_apply_m

fix: use the correct calling convention when over-applying a closure in lean_apply_m #48988

Triggered via pull request August 31, 2026 15:27
@KhaKha
labeled #14969
Status Success
Total duration 5s
Artifacts –

pr-body.yml

on: pull_request_target
check-pr-body
2s
check-pr-body
Fit to window
Zoom out
Zoom in