Skip to content
Test coverage

Lean: Fixing calls to effectful functions #1951

Sign in to view logs

Lean: Fixing calls to effectful functions

Lean: Fixing calls to effectful functions #1951

Triggered via pull request January 29, 2025 16:43
@lfrenotlfrenot
opened #920
lfrenot:lean/fix-function-effect
Status Success
Total duration 23m 15s
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