Test coverage

Lean: fix parantheses around negative integer literals (#926) #1976

Sign in to view logs

Triggered via push January 30, 2025 13:17

bacam

sail2

Status Success

Total duration 23m 3s

Artifacts 3

coverage.yml

on: push

Matrix: build

Artifacts

Produced during runtime

Name	Size
code-coverage	1.32 MB
event.json	2.1 KB
test-results	11.9 KB