Skip to content
Back to pull request #637

Update idris-make-lemma to insert lemma above doc string of current function. #259

Sign in to view logs

Update idris-make-lemma to insert lemma above doc string of current function.

Update idris-make-lemma to insert lemma above doc string of current function. #259

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (27.2)
9m 16s
build (28.2)
11m 4s
build (29.3)
8m 58s
29m 18s