Skip to content
Test coverage

Lean: support for implicit arguments in function application #2045

Sign in to view logs

Lean: support for implicit arguments in function application

Lean: support for implicit arguments in function application #2045

Triggered via pull request February 6, 2025 09:41
@javrajavra
synchronize #955
javra:lean/implicit
Status Success
Total duration 23m 40s
Artifacts 3

coverage.yml

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

Artifacts

Produced during runtime
Name Size
code-coverage
1.32 MB
event.json
3.89 KB
test-results
12.1 KB