Skip to content
Test coverage

Coq: fix non-mutually recursive functions with measures #423

Sign in to view logs

Coq: fix non-mutually recursive functions with measures

Coq: fix non-mutually recursive functions with measures #423

Triggered via pull request November 14, 2023 13:56
@bacambacam
opened #373
bacam:coq-limits
Status Success
Total duration 14m 51s
Artifacts 3

coverage.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
code-coverage Expired
7.32 MB
event.json Expired
26 KB
test-results Expired
78.1 KB