Skip to content
Test coverage

Lean: add monad declaration in files without register use #1965

Sign in to view logs

Lean: add monad declaration in files without register use

Lean: add monad declaration in files without register use #1965

Triggered via pull request January 30, 2025 10:49
@javrajavra
synchronize #922
javra:lean/fix-monad-declaration
Status Success
Total duration 22m 30s
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.47 KB
test-results
11.9 KB