Skip to content
Test documentation

fix: Forbid recursive function uses in decreases clauses #11104

Sign in to view logs

fix: Forbid recursive function uses in decreases clauses

fix: Forbid recursive function uses in decreases clauses #11104

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
5s
doctests
14m 9s
14m 14s