Skip to content
Check PR title for commit convention

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

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

Triggered via pull request August 31, 2026 15:26
@KhaKha
synchronize #14969
runtime-apply-m-fix
Status Success
Total duration 5s
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
3s
check-pr-title
Fit to window
Zoom out
Zoom in