Test coverage

Lean: Memory model #2096

Sign in to view logs

Triggered via pull request February 11, 2025 12:45

lfrenot

synchronize #965

lfrenot:lean/Arch-class

Status Success

Total duration 24m 4s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

Artifacts

Produced during runtime

Name	Size
code-coverage	1.32 MB
event.json	3.51 KB
test-results	12.3 KB