Skip to content

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

Coq: fix non-mutually recursive functions with measures

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

Triggered via pull request November 14, 2023 13:56
Status Failure
Total duration 40s
Artifacts

formatting.yml

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

Annotations

1 error and 1 notice
build (5.0.0, ubuntu-latest, 0.26.0)
Process completed with exit code 1.
552 tests found
There are 552 tests, see "Raw output" for the full list of tests.