Test coverage

Lean: support for implicit arguments in function application (#955) #2050

Sign in to view logs

Triggered via push February 6, 2025 11:40

bacam

sail2

Status Success

Total duration 24m 18s

Artifacts 3

coverage.yml

on: push

Matrix: build

Artifacts

Produced during runtime

Name	Size
code-coverage	1.32 MB
event.json	2.11 KB
test-results	12.1 KB