Skip to content
Test coverage

Lean: fix formatting and arguments for matches #1936

Sign in to view logs

Lean: fix formatting and arguments for matches

Lean: fix formatting and arguments for matches #1936

Triggered via pull request January 27, 2025 16:32
@javrajavra
opened #913
javra:lean/match2
Status Success
Total duration 32m 1s
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.33 KB
test-results
11.9 KB