Skip to content
Restart by label

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

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

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

restart-on-label.yml

on: pull_request_target
restart-on-label
0s
restart-on-label
Fit to window
Zoom out
Zoom in