Skip to content
Deploy Jekyll site to Pages

fix: Forbid recursive function uses in decreases clauses (#6045) #458

Sign in to view logs

fix: Forbid recursive function uses in decreases clauses (#6045)

fix: Forbid recursive function uses in decreases clauses (#6045) #458

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
11s
deploy
8s
19s