Test coverage

Lean: translate type parameters of record types #2026

Sign in to view logs

Triggered via pull request February 4, 2025 12:47

ineol

synchronize #951

ineol:lean-type-type-params

Status Success

Total duration 23m 7s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

Artifacts

Produced during runtime

Name	Size
code-coverage	1.32 MB
event.json	3.66 KB
test-results	12 KB