Test coverage

Lean: add type KIds and bool atoms #1939

Sign in to view logs

Triggered via pull request January 28, 2025 13:09

javra

opened #914

javra:lean/type_kid_atom_bool

Status Success

Total duration 23m 9s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

Annotations

1 notice

754 tests found

There are 754 tests, see "Raw output" for the full list of tests.

Artifacts

Produced during runtime

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