Skip to content

fix: Forbid recursive function uses in decreases clauses #11097

fix: Forbid recursive function uses in decreases clauses

fix: Forbid recursive function uses in decreases clauses #11097

Triggered via pull request January 11, 2025 02:35
Status Failure
Total duration 5m 41s
Artifacts

doc-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
4s
check-deep-tests / check-deep-tests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
doctests
Process completed with exit code 1.
doctests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636