Skip to content
Adaptation PR

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
remove-toolchain-available
0s
create-adaptation-pr
-1s
-1s