Skip to content

Lean: fix handling of implicit arguments #2109

Lean: fix handling of implicit arguments

Lean: fix handling of implicit arguments #2109

Triggered via pull request February 13, 2025 16:41
Status Success
Total duration 42s
Artifacts

formatting.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in